consistent order in ROOT (earlier transformations listed first)

viperproject · Dec 19, 2024 · a35a8c9 · a35a8c9
1 parent b4058ce
commit a35a8c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/BoogieLang/ROOT b/BoogieLang/ROOT
@@ -16,6 +16,6 @@ session Boogie_Lang = "HOL" +
     PassificationEndToEnd
     PassificationML
     BackedgeElim
+    CFGOptimizationsLoop	
     Ast
-    Ast_Cfg_Transformation
-    CFGOptimizationsLoop
+    Ast_Cfg_Transformation