diff src/help.cc @ 2177:0bddc913621b

[project @ 1996-05-13 16:36:11 by jwe]
author jwe
date Mon, 13 May 1996 16:37:23 +0000
parents 97a566037a75
children d01936305d99
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -44,6 +44,7 @@
 #include "dirfns.h"
 #include "error.h"
 #include "help.h"
+#include "input.h"
 #include "oct-obj.h"
 #include "pager.h"
 #include "pathsearch.h"
@@ -704,8 +705,8 @@
 
   begin_unwind_frame ("Ftype");
 
-  unwind_protect_str (user_pref.ps4);
-  user_pref.ps4 = "";
+  unwind_protect_str (Vps4);
+  Vps4 = "";
 
   int argc = args.length () + 1;