diff src/pt-const.h @ 2468:3db30620918e

[project @ 1996-11-05 03:52:10 by jwe]
author jwe
date Tue, 05 Nov 1996 03:52:50 +0000
parents 1573640a9994
children 1d7925d6bede
line wrap: on
line diff
--- a/src/pt-const.h
+++ b/src/pt-const.h
@@ -323,7 +323,7 @@
   void decrement (void) { val.decrement (); }
 
   void print (void);
-  void print (ostream& os, bool pr_as_read_syntax)
+  void print (ostream& os, bool pr_as_read_syntax = false)
     { val.print (os, pr_as_read_syntax); }
 
   void print_with_name (const string& name, bool print_padding = true);