Merge branch 'dev'

haslab · Feb 23, 2021 · d3e7aea · d3e7aea
2 parents 3196aaf + 42f3fb8
commit d3e7aea
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/src/main/java/kodkod/instance/PardinusBounds.java b/src/main/java/kodkod/instance/PardinusBounds.java
@@ -196,10 +196,14 @@ static public PardinusBounds splitAtTemporal(PardinusBounds bounds) {
 		// in this automatic splitting they are irrelevant any way, since static are resolved first
 		List<Relation> problematic = new LinkedList<Relation>();
 		Set<Relation> rs = b.relations_symb; 
-		for (Relation r : rs)
-			for (Relation d : b.symbolic.deps.get(r))
-				if (d.isVariable())
-					problematic.add(r);
+		for (Relation r : rs) {
+		    if (r.isVariable())
+		        problematic.add(r);
+		    else 
+    			for (Relation d : b.symbolic.deps.get(r))
+    				if (d.isVariable())
+    					problematic.add(r);
+		}
 
 		rs.removeAll(problematic);