# HG changeset patch
# User jwe
# Date 786998381 0
# Node ID 22277a269bbb199523a6a2a3fc6ff13287dcbc94
# Parent  b0bb56a7ddcc943cb18c4e32a3acf351641ecc48
[project @ 1994-12-09 18:39:41 by jwe]

diff -r b0bb56a7ddcc -r 22277a269bbb src/help.cc
--- a/src/help.cc	Fri Dec 09 05:19:59 1994 +0000
+++ b/src/help.cc	Fri Dec 09 18:39:41 1994 +0000
@@ -669,7 +669,7 @@
 	      if (help_from_list (output_buf, kw_help_list, *argv, 0))
 		continue;
 
-	      symbol_record *sym_rec = lookup_by_name (*argv);
+	      symbol_record *sym_rec = lookup_by_name (*argv, 0);
 
 	      if (sym_rec)
 		{
@@ -726,7 +726,7 @@
 	  if (! *argv || ! **argv)
 	    continue;
 
-	  symbol_record *sym_rec = lookup_by_name (*argv);
+	  symbol_record *sym_rec = lookup_by_name (*argv, 0);
 
 	  if (sym_rec)
 	    {
@@ -820,7 +820,7 @@
 	  if (! *argv || ! **argv)
 	    continue;
 
-	  symbol_record *sym_rec = lookup_by_name (*argv);
+	  symbol_record *sym_rec = lookup_by_name (*argv, 0);
 
 	  if (sym_rec)
 	    {