[Aorai] Linting

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 []
-

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
-

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