# HG changeset patch
# User jwe
# Date 792885274 0
# Node ID 4d364429af832bdc44d0820addb8b81a8f39c551
# Parent  c35ab9f94604d70ae2b10df93e51f9aeea5e1da5
[project @ 1995-02-15 21:54:34 by jwe]

diff -r c35ab9f94604 -r 4d364429af83 src/help.cc
--- a/src/help.cc	Wed Feb 15 21:51:32 1995 +0000
+++ b/src/help.cc	Wed Feb 15 21:54:34 1995 +0000
@@ -338,7 +338,7 @@
 	    << h << "\n";
 
 	  if (! just_usage)
-	    additional_help_message (output_buf)
+	    additional_help_message (output_buf);
 	  output_buf << ends;
 	  maybe_page_output (output_buf);
 	}