revert space in base.ml

goblint · Jan 24, 2024 · 974b74e · 974b74e
1 parent 0cb06ba
commit 974b74e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -28,6 +28,8 @@ module Dep    = BaseDomain.PartDeps
 module WeakUpdates   = BaseDomain.WeakUpdates
 module BaseComponents = BaseDomain.BaseComponents
 
+
+
 module MainFunctor (Priv:BasePriv.S) (RVEval:BaseDomain.ExpEvaluator with type t = BaseComponents (Priv.D).t) =
 struct
   include Analyses.DefaultSpec