From b7c6ec5493b90eb400522f8663efad91b25e9ef4 Mon Sep 17 00:00:00 2001
From: Alexander Schlenga <alexander.schlenga@tum.de>
Date: Thu, 29 Jun 2023 17:23:34 +0200
Subject: [PATCH] Restore apronAnalysis.apron.ml

---
 src/analyses/apron/apronAnalysis.apron.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/analyses/apron/apronAnalysis.apron.ml b/src/analyses/apron/apronAnalysis.apron.ml
index bec0c4ec57..29e295a662 100644
--- 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