Fixed /*@i@*/ warning in splintme

[splint.git] / src / idDecl.c

diff --git a/src/idDecl.c b/src/idDecl.c
index 24ebb7531062bccb5f323d36435beacebd527fa2..4c0429c0dca2aacda4d7b86b934107b69646adb2 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.c
@@ -247,8 +247,10 @@ void
 idDecl_addClauses (idDecl d, functionClauseList clauses)
 {
   llassert (idDecl_isDefined (d));
-  /*@i222*/
+
   /*
+    DRL comment out llassert:
+    
     This breaks on sometypes of functionPointers.
     I.e.
     void (*signal (int sig ) @requires g >= 0 @ ) (int) @requires g >= 0 @ ;