Cleaned up flags to generate manual help.

[splint.git] / src / Headers / flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 079700a9e829437bdff9807b65f65e57876a6311..8a8a96e24a1ea911c92f6b0acf183a373641e5c6 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -9,13 +9,16 @@
 
 typedef enum 
 {
-  FK_ABSTRACT, FK_ANSI, FK_BEHAVIOR, 
+  FK_ABSTRACT, FK_ANSI, FK_BEHAVIOR, FK_BOUNDS,
   FK_COMMENTS, FK_COMPLETE, FK_CONTROL, FK_DEBUG, FK_DECL,
+  FK_SYNCOMMENTS, FK_HINTS, FK_SYSTEMFUNCTIONS, FK_ITS4,
   FK_DEF, FK_DIRECT, FK_DISPLAY, FK_EFFECT, FK_EXPORT,
-  FK_EXPOSURE, FK_FORMAT, FK_GLOBAL, FK_GLOBALS, FK_HEADERS,
+  FK_EXPOSURE, 
+  FK_EXTENSIBLE,
+  FK_FORMAT, FK_GLOBAL, FK_GLOBALS, FK_HEADERS,
   FK_HELP, FK_IGNORERET, FK_INIT, FK_ITER, FK_LIBS, FK_LIMITS,
   FK_MACROS, FK_MEMORY, FK_MODIFIES, FK_NAMES, FK_NONE,
-  FK_NULL, FK_NT, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
+  FK_NULL, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
   FK_SUPPRESS, FK_SYNTAX, FK_TYPE, FK_TYPEEQ, FK_NUMBERS, 
   FK_POINTER, FK_UNRECOG, FK_USE, FK_BOOL, FK_ALIAS, 
   FK_PROTOS, FK_SPEC,