diff src/ov.h @ 3239:d54ef0aa6e82

[project @ 1999-03-27 17:40:45 by jwe]
author jwe
date Sat, 27 Mar 1999 17:40:46 +0000
parents 30770ba4457a
children 2e74d8aa1a20
line wrap: on
line diff
--- a/src/ov.h	Fri Mar 26 17:48:35 1999 +0000
+++ b/src/ov.h	Sat Mar 27 17:40:46 1999 +0000
@@ -222,6 +222,8 @@
       return *this;
     }
 
+  int count (void) { return rep->count; }
+
   virtual type_conv_fcn numeric_conversion_function (void) const
     { return rep->numeric_conversion_function (); }