Added splint.spec file contributed by Heiko Abraham

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

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