# HG changeset patch
# User jwe
# Date 812716223 0
# Node ID 7f0a08d41c8421f56b29579c98d48804eb2fcd0b
# Parent  79ca6398b78eb15a958a51847aa38579cd1192e8
[project @ 1995-10-03 10:30:23 by jwe]

diff --git a/src/user-prefs.h b/src/user-prefs.h
--- a/src/user-prefs.h
+++ b/src/user-prefs.h
@@ -55,6 +55,7 @@
   int warn_assign_as_truth_value;
   int warn_comma_in_global_decl;
   int warn_divide_by_zero;
+  int warn_missing_semicolon;
   int warn_function_name_clash;
   int whitespace_in_literal_matrix;
 
@@ -104,6 +105,7 @@
 extern int warn_comma_in_global_decl (void);
 extern int warn_divide_by_zero (void);
 extern int warn_function_name_clash (void);
+extern int warn_missing_semicolon (void);
 extern int whitespace_in_literal_matrix (void);
 
 extern int set_output_max_field_width (void);