Executing spotless:apply

runtimeverification · Oct 14, 2024 · 3435ec7 · 3435ec7
1 parent 50dcb6c
commit 3435ec7
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -768,7 +768,7 @@ class Matrix private (
     // check that all occurrences of the same variable are equal
     val sc: DecisionTree = row.clause.action.scVars match {
       // if there is no side condition, continue
-      case None       => atomicLeaf
+      case None => atomicLeaf
       case Some(cond) =>
         val condVars = cond.map(v => (grouped(v).head._2, grouped(v).head._1.hookAtt))
         val newO     = SC(row.clause.action.ordinal)