X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..a0a162cdc5db4d998824629e9f4d370b9b68df56:/src/Headers/flag_codes.gen

diff --git a/src/Headers/flag_codes.gen b/src/Headers/flag_codes.gen
index 12e22c0..d6d6a79 100644
--- 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,