X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fexpressions%2FEGetConstraint.java;h=a070ba8da9817771e5913f5b8539e10c7ebde87b;hp=95948d45c391e17841a64244576a6b8f6bb1271a;hb=6dfe20b0f514b91337fcac4de0267ffd8268be07;hpb=ff1337ff96700fb157ec789cbef88b8f40e03798 diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EGetConstraint.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EGetConstraint.java index 95948d45c..a070ba8da 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EGetConstraint.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EGetConstraint.java @@ -8,12 +8,11 @@ import org.simantics.scl.compiler.types.TPred; import org.simantics.scl.compiler.types.exceptions.MatchException; import gnu.trove.map.hash.TObjectIntHashMap; -import gnu.trove.set.hash.THashSet; import gnu.trove.set.hash.TIntHashSet; public class EGetConstraint extends SimplifiableExpression { TPred constraint; - EVariable evidence; + public EVariable evidence; public EGetConstraint(long loc, TPred constraint) { super(loc); @@ -42,12 +41,6 @@ public class EGetConstraint extends SimplifiableExpression { setType(constraint); } - @Override - public void collectFreeVariables(THashSet vars) { - if(evidence != null) - evidence.collectFreeVariables(vars); - } - @Override public Expression simplify(SimplificationContext context) { return evidence.simplify(context);