diff src/ov-range.h @ 3678:b6cc5bcfba8f

[project @ 2000-06-08 15:35:24 by jwe]
author jwe
date Thu, 08 Jun 2000 15:35:24 +0000
parents b11f9c33558f
children f9ea3dcf58ee
line wrap: on
line diff
--- a/src/ov-range.h
+++ b/src/ov-range.h
@@ -119,6 +119,8 @@
 	      && NINT (range.base ()) == 0);
     }
 
+  bool is_numeric_type (void) const { return true; }
+
   // XXX DO ME XXX
   bool is_true (void) const;