diff src/builtins.h @ 287:6027a905fc06

[project @ 1994-01-13 01:41:00 by jwe]
author jwe
date Thu, 13 Jan 1994 01:42:10 +0000
parents a99f28f5e351
children 3c23b8ea9099
line wrap: on
line diff
--- a/src/builtins.h
+++ b/src/builtins.h
@@ -86,7 +86,7 @@
 
 extern void additional_help_message (ostrstream& output_buf);
 
-extern void print_usage (const char *s);
+extern void print_usage (const char *s, int just_usage = 0);
 
 #endif