Use Conf in Printable.LiftConf

goblint · Dec 15, 2023 · cc39ddd · cc39ddd
1 parent dceb4be
commit cc39ddd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/analyses/mCPRegistry.ml b/src/analyses/mCPRegistry.ml
@@ -426,7 +426,7 @@ end
 
 module DomVariantLattice (DLSpec : DomainListLatticeSpec) =
 struct
-  include Lattice.Lift (DomVariantLattice0 (DLSpec))
+  include Lattice.LiftConf (struct include Printable.DefaultConf let expand1 = false end) (DomVariantLattice0 (DLSpec))
   let name () = "MCP.G"
 end
 

diff --git a/src/common/domains/printable.ml b/src/common/domains/printable.ml
@@ -237,6 +237,10 @@ end
 
 module LiftConf (Conf: LiftConf) (Base: S) =
 struct
+  open struct
+    module Base = PrefixName (struct let expand = Conf.expand1 end) (Base)
+  end
+
   type t = [`Bot | `Lifted of Base.t | `Top] [@@deriving eq, ord, hash]
   include Std
   open Conf