Formatting

Author: Robertorosmaninho

matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala

@@ -768,9 +768,10 @@ class Matrix private (
     // check that all occurrences of the same variable are equal
     val sc = row.clause.action.scVars match {
       // if there is no side condition, continue
-      case None => atomicLeaf
+      case None       => atomicLeaf
       case Some(cond) =>
-        // if there is a side condition but not all occurrences of the same variable are equal, continue
+        // 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)