diff src/pt-pr-code.cc @ 2177:0bddc913621b

[project @ 1996-05-13 16:36:11 by jwe]
author jwe
date Mon, 13 May 1996 16:37:23 +0000
parents ee55d81f585a
children 6abec42e52f6
line wrap: on
line diff
--- a/src/pt-pr-code.cc
+++ b/src/pt-pr-code.cc
@@ -31,6 +31,7 @@
 #include <iostream.h>
 
 #include "error.h"
+#include "input.h"
 #include "pr-output.h"
 #include "pt-pr-code.h"
 #include "user-prefs.h"
@@ -1143,7 +1144,7 @@
  
   if (beginning_of_line)
     {
-      os.form ("%s%*s", user_pref.ps4.c_str (), curr_print_indent_level, "");
+      os.form ("%s%*s", Vps4.c_str (), curr_print_indent_level, "");
       beginning_of_line = false;
     }
 }