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%2Fjava%2FOptionalRelation.java;h=ef30deb435ca36318350ccfb8c5fdceb06577f60;hp=3276e0f2213e5d0d52415c48bda698b9ea381890;hb=a8758de5bc19e5adb3f618d3038743a164f09912;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/OptionalRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/OptionalRelation.java
index 3276e0f22..ef30deb43 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/OptionalRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/OptionalRelation.java
@@ -1,6 +1,6 @@
 package org.simantics.scl.compiler.elaboration.java;
 
-import org.simantics.scl.compiler.common.names.Name;
+import org.simantics.scl.compiler.common.names.Names;
 import org.simantics.scl.compiler.elaboration.expressions.EApply;
 import org.simantics.scl.compiler.elaboration.expressions.EVariable;
 import org.simantics.scl.compiler.elaboration.expressions.Expression;
@@ -65,9 +65,8 @@ public class OptionalRelation extends AbstractRelation {
         case BB: 
             context.condition(
                     new EApply(
-                            context.getConstant(Name.create("Prelude", "elemMaybe"), typeParameters),
+                            context.getConstant(Names.Prelude_elemMaybe, typeParameters),
                             new Expression[] {
-                                context.getEvidence(location, Types.pred(Types.EQ, typeParameters[0])),
                                 new EVariable(parameters[0]),
                                 new EVariable(parameters[1])
                             }