Added files

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 23e2b6ffb2bdd8a1822604a5db9e47c5ad006b69..39c73f04562c090861878663de39ea6a2162cb4b 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -289,6 +289,7 @@ void setFunctionSpecialClause (lltok stok, sRefSet s,
 
   DPRINTF (("Added to specclauses: %s", specialClauses_unparse (specClauses)));
 }
+
 /*drl
  */
 constraintList getFunctionConstraints (void)
@@ -2132,6 +2133,12 @@ sRef checkSpecClausesId (uentry ue)
       return uentry_getSref (ue);
     }
 }
+/*drl:1/19/2001
+  oops to 1/8/2000
+  date is wronge ..
+  don;t know what the real date is...
+  
+*/
 
 /*drl
   added 1/8/2000