changeset 1951:db375ab88640

[project @ 1996-02-14 04:47:09 by jwe]
author jwe
date Wed, 14 Feb 1996 04:47:09 +0000
parents ab6abe89aaa1
children fe65885a1269
files src/help.cc
diffstat 1 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -715,9 +715,8 @@
 
   begin_unwind_frame ("Ftype");
 
-  // XXX FIXME XXX -- need a way to protect strings.
-  //  unwind_protect_ptr (user_pref.ps4);
-  //  user_pref.ps4 = "";
+  unwind_protect_str (user_pref.ps4);
+  user_pref.ps4 = "";
 
   int argc = args.length () + 1;