Restore apronAnalysis.apron.ml

goblint · Jun 29, 2023 · b7c6ec5 · b7c6ec5
1 parent 529d70e
commit b7c6ec5
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/analyses/apron/apronAnalysis.apron.ml b/src/analyses/apron/apronAnalysis.apron.ml
@@ -4,7 +4,6 @@ open Analyses
 
 include RelationAnalysis
 
-
 let spec_module: (module MCPSpec) Lazy.t =
   lazy (
     let module Man = (val ApronDomain.get_manager ()) in
@@ -35,8 +34,7 @@ let get_spec (): (module MCPSpec) =
 let after_config () =
   let module Spec = (val get_spec ()) in
   MCP.register_analysis (module Spec : MCPSpec);
-  GobConfig.set_string "ana.path_sens[+]" (Spec.name ())
-
+  GobConfig.set_string "ana.path_sens[+]"  (Spec.name ())
 
 let _ =
   AfterConfig.register after_config