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%2Finternal%2Felaboration%2Fsubsumption%2FSubSolver.java;h=f9b5efc3bd3eb7eb3e68dc148f9f4d0496648a3f;hp=34b34eccef4fc24e137634b2d433ce67e887c167;hb=749a1ea2c0a66ae41aad617d1fd81b61cbdb7685;hpb=969bd23cab98a79ca9101af33334000879fb60c5

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
index 34b34ecce..f9b5efc3b 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
@@ -1,8 +1,5 @@
 package org.simantics.scl.compiler.internal.elaboration.subsumption;
 
-import gnu.trove.map.hash.THashMap;
-import gnu.trove.set.hash.THashSet;
-
 import java.util.ArrayDeque;
 import java.util.ArrayList;
 
@@ -16,6 +13,9 @@ import org.simantics.scl.compiler.types.Types;
 import org.simantics.scl.compiler.types.util.Polarity;
 import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
 
+import gnu.trove.map.hash.THashMap;
+import gnu.trove.set.hash.THashSet;
+
 public class SubSolver {
 
     public static final boolean DEBUG = false;
@@ -49,7 +49,7 @@ public class SubSolver {
         reduceChains();
         propagateUpperBounds();
         checkLowerBounds();
-        errorFromUnsolvedEquations();
+        //errorFromUnsolvedEquations();
         //System.out.println("--");
         //print();
     }