Fixed merge problem

ftsrg · Nov 2, 2023 · ede9ca4 · ede9ca4
1 parent 5e0e9de
commit ede9ca4
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
@@ -61,16 +61,16 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext) : ProcedurePas
     )
 )
 
-class ChcPasses : ProcedurePassManager(/*listOf(
-        // formatting
-        NormalizePass(),
-        DeterministicPass(),
-        // removing redundant elements
-        EmptyEdgeRemovalPass(),
-        UnusedLocRemovalPass(),
-        // optimizing
-        SimplifyExprsPass(),
-        // handling intrinsics
+class ChcPasses(parseContext: ParseContext) : ProcedurePassManager(listOf(
+    // formatting
+    NormalizePass(parseContext),
+    DeterministicPass(parseContext),
+    // removing redundant elements
+    EmptyEdgeRemovalPass(parseContext),
+    UnusedLocRemovalPass(parseContext),
+    // optimizing
+    SimplifyExprsPass(parseContext),
+    // handling intrinsics
 //        ErrorLocationPass(false),
 //        FinalLocationPass(false),
 //        SvCompIntrinsicsPass(),