diff src/ov-re-sparse.h @ 5895:b9c45e0cf685

[project @ 2006-07-19 01:57:44 by jwe]
author jwe
date Wed, 19 Jul 2006 01:58:47 +0000
parents 6b9cec830d72
children da843f35775c
line wrap: on
line diff
--- a/src/ov-re-sparse.h
+++ b/src/ov-re-sparse.h
@@ -88,6 +88,8 @@
 
   bool is_real_type (void) const { return true; }
 
+  bool is_double_type (void) const { return true; }
+
   bool valid_as_scalar_index (void) const;
 
   double double_value (bool = false) const;