X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/dfd03f4401817e0586293350462c19d7e79a6fa6..60eced233d971637672dfbb2ab994f0f86db9c9e:/src/forjunk.c

diff --git a/src/forjunk.c b/src/forjunk.c
index 1db52b5..0941da4 100644
--- a/src/forjunk.c
+++ b/src/forjunk.c
@@ -176,6 +176,8 @@ static /*@only@*/ constraintList getIncConstraints (/*@observer@*/ constraintLis
   ret = constraintList_makeNew();
   constraintList_elements (c, el)
     {
+      llassert (constraint_isDefined (el));
+
       if (incVar (el) )
 	{
 	  constraint temp;