(refs #7250) Merging master, minor CHR bugfixes

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / chr / CHRRuleset.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRuleset.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRuleset.java
index d5f61965454e80006631d98d76621fc56ba94e50..bb00f08850f8fa3cd6f21586a8b60a6e052ff640 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRuleset.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRuleset.java
@@ -215,6 +215,7 @@ public class CHRRuleset extends Symbol {
             int max = 1 << constraint.parameterTypes.length;
             for(int i=0;i<max;++i)
                 constraint.getOrCreateIndex(cachedContext, i);
+            constraint.setMayBeRemoved();
             /*
             constraint.getOrCreateIndex(cachedContext, 0);
             if(constraint.parameterTypes.length > 0)