# HG changeset patch
# User jwe
# Date 757891184 0
# Node ID dd9b9719b79955fb1698bfa072721776164275bd
# Parent  7ec58832918fb584aee5dae45833805669aecacd
[project @ 1994-01-06 21:19:44 by jwe]

diff -r 7ec58832918f -r dd9b9719b799 src/pt-base.h
--- a/src/pt-base.h	Thu Jan 06 18:54:08 1994 +0000
+++ b/src/pt-base.h	Thu Jan 06 21:19:44 1994 +0000
@@ -148,7 +148,8 @@
 			       int print)
     { assert (0); return NULL_TREE_CONST; }
 
-  virtual int save (ostream& os, int mark_as_global = 0)
+  virtual int save (ostream& os, int mark_as_global = 0,
+		    int precision = 17)
     { assert (0); return 0; }
 
   virtual int line (void) const { return line_num; }