Adding type and fixing issue

runtimeverification · Oct 14, 2024 · 50dcb6c · 50dcb6c
1 parent 54b8593
commit 50dcb6c
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala b/matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
@@ -766,13 +766,10 @@ class Matrix private (
       Leaf(row.clause.action.ordinal, newVars)
     }
     // check that all occurrences of the same variable are equal
-    val sc = row.clause.action.scVars match {
+    val sc: DecisionTree = row.clause.action.scVars match {
       // if there is no side condition, continue
       case None       => atomicLeaf
       case Some(cond) =>
-        // if there is a side condition but not all occurrences of the same variable are equal,
-        // continue
-        if (nonlinear.nonEmpty) return nonlinearLeaf
         val condVars = cond.map(v => (grouped(v).head._2, grouped(v).head._1.hookAtt))
         val newO     = SC(row.clause.action.ordinal)
         // evaluate the side condition and if it is true, continue, otherwise go to the next row