EXtensive code clean up. Almost passes LCLint.

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 6f9fbf0ac012d5c96302f2f1ef17d2f68d6400dc..72be47c0fa520eebd45d6d003ffe6fdf9cb0315d 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -915,7 +915,7 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode body)
   
    if (c)
      {
-       llassert (c);
+
        DPRINTF ( (message ("Function preconditions are %s \n\n\n\n\n", constraintList_printDetailed (c) ) ) );
        
        t = reflectChanges (body->requiresConstraints, constraintList_copy (c) );