diff src/ov.h @ 2466:1573640a9994

[project @ 1996-11-04 03:56:11 by jwe]
author jwe
date Mon, 04 Nov 1996 03:56:17 +0000
parents 2f50b24ce84f
children 3db30620918e
line wrap: on
line diff
--- a/src/ov.h	Sun Nov 03 08:54:22 1996 +0000
+++ b/src/ov.h	Mon Nov 04 03:56:17 1996 +0000
@@ -363,9 +363,10 @@
   virtual void convert_to_row_or_column_vector (void)
     { rep->convert_to_row_or_column_vector (); }
 
-  void print (void);
+  void print (bool pr_as_read_syntax = false);
 
-  virtual void print (ostream& os) { rep->print (os); }
+  virtual void print (ostream& os, bool pr_as_read_syntax)
+    { rep->print (os, pr_as_read_syntax); }
 
   void print_with_name (const string& name, bool print_padding = true);