Making changes to try to support loops.

[splint.git] / src / lex.yy.c

diff --git a/src/lex.yy.c b/src/lex.yy.c
index 94430c01f4e532c1762ad8c77a911f51918dece0..3d4a731a2e9f2c706baa8a8039fa21b756772351 100644 (file)
--- a/src/lex.yy.c
+++ b/src/lex.yy.c
@@ -3084,6 +3084,7 @@ struct skeyword s_parsetable[] = {
   { "post", QPOSTCLAUSE } ,
   {"setBufferSize", QSETBUFFERSIZE},
   {"bufferConstraint", QBUFFERCONSTRAINT},
+  {"ensuresConstraint", QENSURESCONSTRAINT},
   {"setStringLength", QSETSTRINGLENGTH},
   {"testinRange", QTESTINRANGE},
   { NULL, BADTOK }
@@ -3131,6 +3132,7 @@ struct skeyword s_keytable[] = {
   { "nullterminated", QNULLTERMINATED }, 
   { "setBufferSize", QSETBUFFERSIZE },
   { "bufferConstraint", QBUFFERCONSTRAINT },
+  { "ensuresConstraint", QENSURESCONSTRAINT },
   { "testInRange", QTESTINRANGE},
   { "MaxSet", QMAXSET},
   { "MaxRead", QMAXREAD},