# HG changeset patch
# User jwe
# Date 824273229 0
# Node ID db375ab88640481f7e469f7be515383f65de7031
# Parent  ab6abe89aaa1dee03578ad51dfe04a302ce282d8
[project @ 1996-02-14 04:47:09 by jwe]

diff --git a/src/help.cc b/src/help.cc
--- 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;