diff src/ov.h @ 6223:a6cc01dd09f9

[project @ 2007-01-03 20:59:28 by jwe]
author jwe
date Wed, 03 Jan 2007 20:59:28 +0000
parents e0065af38cf4
children ec88b4ab6d10
line wrap: on
line diff
--- a/src/ov.h	Wed Jan 03 20:15:16 2007 +0000
+++ b/src/ov.h	Wed Jan 03 20:59:28 2007 +0000
@@ -487,6 +487,9 @@
   bool is_bool_type (void) const
     { return rep->is_bool_type (); }
 
+  bool is_integer_type (void) const
+    { return rep->is_integer_type (); }
+
   bool is_real_type (void) const
     { return rep->is_real_type (); }