diff src/ov-colon.h @ 2901:e6d25bc478dd

[project @ 1997-04-30 03:41:26 by jwe]
author jwe
date Wed, 30 Apr 1997 03:43:29 +0000
parents 8b262e771614
children ebbc34ff7f66
line wrap: on
line diff
--- a/src/ov-colon.h	Wed Apr 30 03:37:00 1997 +0000
+++ b/src/ov-colon.h	Wed Apr 30 03:43:29 1997 +0000
@@ -68,7 +68,9 @@
 
   bool valid_as_zero_index (void) const { return false; }
 
-  void print (ostream& os, bool pr_as_read_syntax = false);
+  void print (ostream& os, bool pr_as_read_syntax = false) const;
+
+  void print_raw (ostream& os, bool pr_as_read_syntax = false) const;
 
   int type_id (void) const { return t_id; }