X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a8e557d3925057c15b9551be5f9f712fec5f6c90..84c9ffbf30db7d2e74209383daaf61c3a82149e4:/src/exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 6f9fbf0..72be47c 100644
--- 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) );