diff src/ov-base-sparse.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 c7d5a534afa5
line wrap: on
line diff
--- a/src/ov-base-sparse.h
+++ b/src/ov-base-sparse.h
@@ -126,6 +126,8 @@
 
   bool is_numeric_type (void) const { return true; }
 
+  bool is_sparse_type (void) const { return true; }
+
   bool is_defined (void) const { return true; }
 
   bool is_constant (void) const { return true; }