Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/flag_codes.h b/src/Headers/flag_codes.h
index 8f5531abd933ec82ab4b51396463444f0649f2fe..cf5a8a7107c8f8cc3459bde0ab48bd1b8a8def9f 100644 (file)
--- a/src/Headers/flag_codes.h
+++ b/src/Headers/flag_codes.h
@@ -16,7 +16,6 @@
 
 typedef enum  
 { 
-  MODENAME_FLAG = -3,
   SKIP_FLAG = -2,
   INVALID_FLAG = -1,
 # include "flag_codes.gen"