Commiting Merge of changes made in semester and ver 2.5M

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

diff --git a/src/Headers/flag_codes.gen b/src/Headers/flag_codes.gen
index 3f6dda76337f244f8c60971bafbe0de40a3eea5d..12e22c043b0794fa2f4ea64453c2bdbbf0f65322 100644 (file)
--- a/src/Headers/flag_codes.gen
+++ b/src/Headers/flag_codes.gen
@@ -315,6 +315,8 @@
   FLG_NAME,
   FLG_SPECIAL,
   FLG_NULL,
+  FLG_NULLTERMINATED,
+  FLG_NULLTERMINATEDWARNING,
   FLG_NULLDEREF,
   FLG_FCNDEREF,
   FLG_NULLPASS,