diff --git a/src/plugins/aorai/aorai_graph.ml b/src/plugins/aorai/aorai_graph.ml
index 9425f061212e66d0e319e2891086ff39ab6ff34d..03cdb1cb3d950e142fa0d70bb1b2d6dd8cd836e8 100644
--- a/src/plugins/aorai/aorai_graph.ml
+++ b/src/plugins/aorai/aorai_graph.ml
@@ -68,4 +68,3 @@ let init_states g =
 
 let edges g =
   fold_edges_e (fun e acc -> e :: acc) g []
-
diff --git a/src/plugins/aorai/aorai_graph.mli b/src/plugins/aorai/aorai_graph.mli
index 38d110bb4dba479a48aa7e1ecd1ddb6861344236..9afaff33de31d8a0e694cf541c8fb4e3a9d0d964 100644
--- a/src/plugins/aorai/aorai_graph.mli
+++ b/src/plugins/aorai/aorai_graph.mli
@@ -40,4 +40,3 @@ val of_automaton : Promelaast.typed_automaton -> t
 val states : t -> state list
 val init_states : t -> state list
 val edges : t -> edge list
-
diff --git a/src/plugins/aorai/aorai_metavariables.ml b/src/plugins/aorai/aorai_metavariables.ml
index 9f68b9963985f05634f674926cfbbbcef2638524..5621752e3f5921b421fa4913e246660770cbaddc 100644
--- a/src/plugins/aorai/aorai_metavariables.ml
+++ b/src/plugins/aorai/aorai_metavariables.ml
@@ -121,8 +121,8 @@ struct
       in
       let initialized' = List.fold_left add_initialized initialized act in
       Aorai_option.debug ~dkey "%a {%a} -> %a {%a}"
-          pretty_state src pretty_set initialized
-          pretty_state dst pretty_set initialized';
+        pretty_state src pretty_set initialized
+        pretty_state dst pretty_set initialized';
       InitializedSet initialized'
 end