Fix MCPRegistry indentation (PR #1013)

goblint · Mar 27, 2023 · 5ce758a · 5ce758a
1 parent 4123a9e
commit 5ce758a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/analyses/mCPRegistry.ml b/src/analyses/mCPRegistry.ml
@@ -162,11 +162,11 @@ struct
   let hash     = unop_fold (fun a n (module S : Printable.S) x -> hashmul a @@ S.hash (obj x)) 0
 
   (* let name () =
-    let domain_name (n, (module D: Printable.S)) =
-      let analysis_name = find_spec_name n in
-      analysis_name ^ ":(" ^ D.name () ^ ")"
-    in
-    IO.to_string (List.print ~first:"[" ~last:"]" ~sep:", " String.print) (map domain_name @@ domain_list ()) *)
+       let domain_name (n, (module D: Printable.S)) =
+         let analysis_name = find_spec_name n in
+         analysis_name ^ ":(" ^ D.name () ^ ")"
+       in
+       IO.to_string (List.print ~first:"[" ~last:"]" ~sep:", " String.print) (map domain_name @@ domain_list ()) *)
   let name () = "MCP.C"
 
   let printXml f xs =