changeset 1508:7f0a08d41c84

[project @ 1995-10-03 10:30:23 by jwe]
author jwe
date Tue, 03 Oct 1995 10:30:23 +0000
parents 79ca6398b78e
children 36477a20e8c8
files src/user-prefs.h
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/user-prefs.h	Tue Oct 03 09:01:04 1995 +0000
+++ b/src/user-prefs.h	Tue Oct 03 10:30:23 1995 +0000
@@ -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);