diff src/ov.h @ 5631:7171d19706df

[project @ 2006-02-22 20:15:06 by dbateman]
author dbateman
date Wed, 22 Feb 2006 20:16:00 +0000
parents 2857357f9d3c
children 960f4b9a26af
line wrap: on
line diff
--- a/src/ov.h
+++ b/src/ov.h
@@ -487,6 +487,9 @@
   virtual bool is_numeric_type (void) const
     { return rep->is_numeric_type (); }
 
+  virtual bool is_sparse_type (void) const
+    { return rep->is_sparse_type (); }
+
   virtual bool valid_as_scalar_index (void) const
     { return rep->valid_as_scalar_index (); }