diff src/ov.h @ 4665:dece11da64ed ss-2-1-52

[project @ 2003-11-25 15:37:32 by jwe]
author jwe
date Tue, 25 Nov 2003 15:37:32 +0000
parents 12b6fbd57436
children e95c86d48732
line wrap: on
line diff
--- a/src/ov.h	Tue Nov 25 06:25:00 2003 +0000
+++ b/src/ov.h	Tue Nov 25 15:37:32 2003 +0000
@@ -539,7 +539,7 @@
     { return rep->all_strings (pad, force); }
 
   virtual std::string string_value (bool force = false) const
-    { return rep->string_value (); }
+    { return rep->string_value (force); }
 
   virtual Range range_value (void) const
     { return rep->range_value (); }