Fixed /*@i@*/ warning in splintme

[splint.git] / src / idDecl.c

diff --git a/src/idDecl.c b/src/idDecl.c
index ccb0aea4441f60b91fde0de881939b5d21187f24..4c0429c0dca2aacda4d7b86b934107b69646adb2 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.c
@@ -1,6 +1,6 @@
 /*
 ** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -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 @ ;