diff src/ov-range.h @ 5895:b9c45e0cf685

[project @ 2006-07-19 01:57:44 by jwe]
author jwe
date Wed, 19 Jul 2006 01:58:47 +0000
parents bd3041e30d97
children da843f35775c
line wrap: on
line diff
--- a/src/ov-range.h	Sun Jul 16 22:15:44 2006 +0000
+++ b/src/ov-range.h	Wed Jul 19 01:58:47 2006 +0000
@@ -127,6 +127,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 b = range.base ();