Reformatted code

ftsrg · Nov 15, 2023 · 1008f67 · 1008f67
1 parent f2100ee
commit 1008f67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/UnusedVarPass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/UnusedVarPass.kt
@@ -42,9 +42,9 @@ class UnusedVarPass(val parseContext: ParseContext, val uniqueWarningLogger: Log
             uniqueWarningLogger.write(Logger.Level.INFO,
                 "WARNING: There are some used variables not present as declarations: " +
                     "${
-                    usedVars.filter {
-                        !varsAndParams.contains(it)
-                    }
+                        usedVars.filter {
+                            !varsAndParams.contains(it)
+                        }
                     }\n")
         }