diff src/pt-pr-code.cc @ 2530:64f403ef483d

[project @ 1996-11-19 18:06:02 by jwe]
author jwe
date Tue, 19 Nov 1996 18:11:18 +0000
parents 1573640a9994
children 5c773d4745d6
line wrap: on
line diff
--- a/src/pt-pr-code.cc
+++ b/src/pt-pr-code.cc
@@ -31,7 +31,6 @@
 #include <iostream.h>
 
 #include "error.h"
-#include "input.h"
 #include "pr-output.h"
 #include "pt-pr-code.h"
 
@@ -569,7 +568,7 @@
   if (in_parens)
     os << "(";
 
-  val.print (os, true);
+  val.print (os, true, print_original_text);
 
   if (in_parens)
     os << ")";
@@ -1080,7 +1079,7 @@
  
   if (beginning_of_line)
     {
-      os.form ("%s%*s", Vps4.c_str (), curr_print_indent_level, "");
+      os.form ("%s%*s", prefix.c_str (), curr_print_indent_level, "");
       beginning_of_line = false;
     }
 }