Finshed basic merge. Still trying to get it through the test suit.

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

diff --git a/src/Headers/flag_codes.gen b/src/Headers/flag_codes.gen
index 12e22c043b0794fa2f4ea64453c2bdbbf0f65322..d6d6a7926d6d8185fae3138fb3ffd106786a475a 100644 (file)
--- a/src/Headers/flag_codes.gen
+++ b/src/Headers/flag_codes.gen
@@ -1,4 +1,3 @@
-  FLG_ABSTRACTBOOL,
   FLG_LIKELYBOOL,
   FLG_IMPABSTRACT,
   FLG_ACCESSALL,
@@ -380,6 +379,7 @@
   FLG_LONGUNSIGNEDUNSIGNEDINTEGRAL,
   FLG_LONGSIGNEDINTEGRAL,
   FLG_ZEROPTR,
+  FLG_ZEROBOOL,
   FLG_REPEATUNRECOG,
   FLG_SYSTEMUNRECOG,
   FLG_UNRECOG,