From cc39ddd112604c30aeffef657ae1c8e6b63064d5 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 15 Dec 2023 11:05:30 +0200
Subject: [PATCH] Use Conf in Printable.LiftConf

---
 src/analyses/mCPRegistry.ml     | 2 +-
 src/common/domains/printable.ml | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/analyses/mCPRegistry.ml b/src/analyses/mCPRegistry.ml
index 663a1d8862..3961bc4d60 100644
--- 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
index 7e08157898..0b1769e99c 100644
--- 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