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 5f403b461202af06915722079e34b94016d8e195..f4e4b6da77bdfe85462ec42a7e91b1e2c6bc646e 100644 (file)
--- a/src/Headers/flag_codes.h
+++ b/src/Headers/flag_codes.h
@@ -27,7 +27,7 @@ typedef enum
 # define NUMFLAGS       (LAST_FLAG)
 
 /*@constant int NUMVALUEFLAGS; @*/
-# define NUMVALUEFLAGS       14
+# define NUMVALUEFLAGS       15
 
 /*@constant int NUMSTRINGFLAGS; @*/
 # define NUMSTRINGFLAGS      28