Generating flag manual; separated ARG_STRING into filename, path,

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

diff --git a/src/Headers/flag_codes.h b/src/Headers/flag_codes.h
index fd0d6b87c09db1af3e0f1275cf6d336ef3009e82..11784d53935f1c17c29dc9068a4cd22f8ecc7a9f 100644 (file)
--- a/src/Headers/flag_codes.h
+++ b/src/Headers/flag_codes.h
@@ -29,7 +29,7 @@ typedef enum
 # define NUMVALUEFLAGS       14
 
 /*@constant int NUMSTRINGFLAGS; @*/
-# define NUMSTRINGFLAGS      22
+# define NUMSTRINGFLAGS      24
 
 /*@iter allFlagCodes (yield flagcode f); @*/
 # define allFlagCodes(m_code) \