diff --git a/BoogieLang/ROOT b/BoogieLang/ROOT
index ca9a50c..c803af1 100644
--- 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
\ No newline at end of file