X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/15b3d2b27a3dce7a3b65e88fb0d1732e235117f4..b7b694d6212749bfa3aa56e853adff6a5aa3b87f:/src/constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index 4059aab..8949732 100644
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -91,7 +91,7 @@ constraintList_add (/*@returned@*/ constraintList s, /*@only@*/ constraint el)
   llassert (constraintList_isDefined (s));
 
   /*drl7x */
-  //   el = constraint_simplify (el);
+
   if (constraintList_resolve (el, s) )
     {
       constraint_free (el);
@@ -247,7 +247,7 @@ constraintList_printLocation (/*@temp@*/ constraintList s) /*@*/
 	{
 	  st = message ("%q, %q", st, type);
 	}
-    } //end for
+    } 
 
   return st;
 }
@@ -295,7 +295,7 @@ constraintList_print (/*@temp@*/ constraintList s) /*@*/
 	{
 	  st = message ("%q, %q", st, type);
 	}
-    } //end for
+    } 
 
   return st;
 }
@@ -480,7 +480,6 @@ constraintList constraintList_preserveCallInfo (/*@returned@*/ constraintList c,
 
   constraintList_elements_private (c, el)
   {
-    //  el = constraint_preserveOrig (el);
     el = constraint_setFcnPre(el);
     el = constraint_origAddGeneratingExpr (el, fcn);
   }