X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2FCHRRelation.java;h=dc8235884c1ad33c617fc69577b07ca5d6dbad58;hb=refs%2Fchanges%2F38%2F238%2F2;hp=af6e5a2d51229ae9ce6768a0528aa7365e70f13f;hpb=3448b94a8e90047c88eb62a0542c1596acb701b8;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
index af6e5a2d5..dc8235884 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
@@ -1,13 +1,13 @@
-package org.simantics.scl.compiler.elaboration.chr;
-
-import org.simantics.scl.compiler.types.TVar;
-import org.simantics.scl.compiler.types.Type;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.kinds.Kinds;
-
-public interface CHRRelation {
-    public static final TVar A = Types.var(Kinds.STAR);
-    
-    TVar[] getTypeVariables();
-    Type[] getParameterTypes();
-}
+package org.simantics.scl.compiler.elaboration.chr;
+
+import org.simantics.scl.compiler.types.TVar;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.kinds.Kinds;
+
+public interface CHRRelation {
+    public static final TVar A = Types.var(Kinds.STAR);
+    
+    TVar[] getTypeVariables();
+    Type[] getParameterTypes();
+}