X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/22b8afc959f05820d93be5f55d2251e42ebc3bd8..dc92450fdc57d377a0b65c158540a5e41b61fa9a:/src/forjunk.c?ds=sidebyside

diff --git a/src/forjunk.c b/src/forjunk.c
index 0f579ac..fde04f1 100644
--- a/src/forjunk.c
+++ b/src/forjunk.c
@@ -146,7 +146,7 @@ constraintExpr getForTimes ( exprNode forPred, exprNode forBody)
    
   constraintList_elements (ltCon, el) 
     {
-      constraintList_elements(incCon, el2);
+      constraintList_elements(incCon, el2)
       {
 	if ( increments(el2, el->lexpr) )
 	  {