Merged changes from feature/scl to master.

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / query / compilation / EnforcingContext.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/EnforcingContext.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/EnforcingContext.java
index 66f8070a97745213691277dd5ab941fe79b878fe..384deeeea27ac8a199292c963e7d6b1629d8e3cd 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/EnforcingContext.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/EnforcingContext.java
@@ -1,5 +1,6 @@
 package org.simantics.scl.compiler.elaboration.query.compilation;
 
+import org.simantics.scl.compiler.compilation.CompilationContext;
 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
 import org.simantics.scl.compiler.elaboration.expressions.EVariable;
 import org.simantics.scl.compiler.errors.ErrorLog;
@@ -26,4 +27,8 @@ public class EnforcingContext {
         context.addConstraintDemand(evidence);
         return evidence;
     }
+
+    public CompilationContext getCompilationContext() {
+        return context.getCompilationContext();
+    }
 }