#if 0 the code in cscanner.l causing fatal bugs in the constraint checking.

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 074bd550dc82eb373ad48fd327242c1a52769374..77d33d09a311ec0bc9f0026ce211a91f1a6bc876 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -3226,6 +3226,9 @@ processSpec (int tok)
   
   if (s_inSpecPart)
     {
+      
+#if 0
+
       if (s_whichSpecPart == QMODIFIES
          || s_whichSpecPart == QDEFINES
          || s_whichSpecPart == QUSES 
@@ -3238,7 +3241,10 @@ processSpec (int tok)
        {
          ; /* Allow specificiation keywords to be used as identifiers in these contexts. */
        }
-      else 
+      else
+
+#endif
+
        {
          setTokLengthT (length);
          RETURN_TOK (tok);