*** empty log message ***

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 6300c36d3cdefecd6bd3e4892f9f85d22aa3d6d4..f48887449026c2d6b298ab870a3e60c077dfda48 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -585,8 +585,6 @@ struct skeyword s_parsetable[] = {
   { "pre", QPRECLAUSE } ,
   { "post", QPOSTCLAUSE } ,
   { "setBufferSize", QSETBUFFERSIZE},
-  { "LRequires", QBUFFERCONSTRAINT},
-  { "LEnsures", QENSURESCONSTRAINT},
   { "setStringLength", QSETSTRINGLENGTH},
   { "testinRange", QTESTINRANGE},
   { "requires", QPRECLAUSE } ,
@@ -635,8 +633,6 @@ struct skeyword s_keytable[] = {
   { "relnull", QRELNULL } ,
   { "nullterminated", QNULLTERMINATED }, 
   { "setBufferSize", QSETBUFFERSIZE },
-  { "LRequires", QBUFFERCONSTRAINT },
-  { "LEnsures", QENSURESCONSTRAINT },
   { "testInRange", QTESTINRANGE},
   { "MaxSet", QMAXSET},
   { "MaxRead", QMAXREAD},