Improved tracking of state change locations. Added +showdeephistory

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

diff --git a/src/Headers/flag_codes.h b/src/Headers/flag_codes.h
index 8f5531abd933ec82ab4b51396463444f0649f2fe..f4e4b6da77bdfe85462ec42a7e91b1e2c6bc646e 100644 (file)
--- a/src/Headers/flag_codes.h
+++ b/src/Headers/flag_codes.h
@@ -27,10 +27,10 @@ typedef enum
 # define NUMFLAGS       (LAST_FLAG)
 
 /*@constant int NUMVALUEFLAGS; @*/
-# define NUMVALUEFLAGS       14
+# define NUMVALUEFLAGS       15
 
 /*@constant int NUMSTRINGFLAGS; @*/
-# define NUMSTRINGFLAGS      27
+# define NUMSTRINGFLAGS      28
 
 /*@iter allFlagCodes (yield flagcode f); @*/
 # define allFlagCodes(m_code) \