X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fquery%2FQExists.java;h=2f9c0c50705a7e0baf21cd367612a299ed499da9;hb=6dfe20b0f514b91337fcac4de0267ffd8268be07;hp=293c8bf707ba55142a9bbfc28ed9d899a69e1e87;hpb=dcb08ba8db427e1e9951e61892c653c23977a8cc;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QExists.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QExists.java index 293c8bf70..2f9c0c507 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QExists.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QExists.java @@ -17,10 +17,9 @@ import org.simantics.scl.compiler.types.Types; import org.simantics.scl.compiler.types.kinds.Kinds; import gnu.trove.map.hash.THashMap; -import gnu.trove.set.hash.THashSet; public class QExists extends QAbstractModifier { - Variable[] variables; + public Variable[] variables; public QExists(Variable[] variables, Query query) { super(query); @@ -31,13 +30,6 @@ public class QExists extends QAbstractModifier { this(variables.toArray(new Variable[variables.size()]), query); } - @Override - public void collectFreeVariables(THashSet vars) { - super.collectFreeVariables(vars); - for(Variable variable : variables) - vars.remove(variable); - } - @Override public void checkType(TypingContext context) { for(Variable var : variables)