diff src/pt-pr-code.cc @ 2900:5ed088015839

[project @ 1997-04-30 03:26:56 by jwe]
author jwe
date Wed, 30 Apr 1997 03:37:00 +0000
parents 1a30f46e1870
children 026f342c2019
line wrap: on
line diff
--- a/src/pt-pr-code.cc	Wed Apr 30 03:09:23 1997 +0000
+++ b/src/pt-pr-code.cc	Wed Apr 30 03:37:00 1997 +0000
@@ -1161,7 +1161,11 @@
  
   if (beginning_of_line)
     {
-      os.form ("%s%*s", prefix.c_str (), curr_print_indent_level, "");
+      os << prefix;
+
+      for (int i = 0; i < curr_print_indent_level; i++)
+	os << " ";
+
       beginning_of_line = false;
     }
 }