*** empty log message ***

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 0a7f38374a4029e85a656408ebaaaf76a076536b..168a5833a07b5464aa431c04da8ff2594624304b 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -612,6 +612,7 @@ struct skeyword s_parsetable[] = {
   { "testinRange", QTESTINRANGE},
   { "requires", QPRECLAUSE } ,
   { "ensures", QPOSTCLAUSE } ,
+  { "invariant", QINVARIANT} ,
   { NULL, BADTOK } 
 } ;