diff src/pt-pr-code.cc @ 2942:026f342c2019

[project @ 1997-05-08 02:20:57 by jwe]
author jwe
date Thu, 08 May 1997 02:28:50 +0000
parents 5ed088015839
children 194b50e4725b
line wrap: on
line diff
--- a/src/pt-pr-code.cc
+++ b/src/pt-pr-code.cc
@@ -579,7 +579,7 @@
   if (in_parens)
     os << "(";
 
-  val.print (os, true, print_original_text);
+  val.print_raw (os, true, print_original_text);
 
   if (in_parens)
     os << ")";