diff src/ov.h @ 3209:fbb332b96e4f

[project @ 1998-11-03 20:48:54 by jwe]
author jwe
date Tue, 03 Nov 1998 20:48:58 +0000
parents 549691faa638
children 30770ba4457a
line wrap: on
line diff
--- a/src/ov.h
+++ b/src/ov.h
@@ -336,6 +336,9 @@
 
   // Other type stuff.
 
+  virtual bool is_bool_type (void) const
+    { return rep->is_bool_type (); }
+
   virtual bool is_real_type (void) const
     { return rep->is_real_type (); }