diff src/ov-base.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 6286c96121c2
line wrap: on
line diff
--- a/src/ov-base.h	Mon Feb 20 22:05:32 2006 +0000
+++ b/src/ov-base.h	Wed Feb 22 20:16:00 2006 +0000
@@ -163,6 +163,8 @@
 
   bool is_numeric_type (void) const { return false; }
 
+  bool is_sparse_type (void) const { return false; }
+
   bool valid_as_scalar_index (void) const { return false; }
 
   bool valid_as_zero_index (void) const { return false; }