Relift BufferEntry

goblint · Mar 28, 2023 · d025538 · d025538
1 parent 3a48585
commit d025538
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/cdomains/jmpBufDomain.ml b/src/cdomains/jmpBufDomain.ml
@@ -3,6 +3,10 @@ module BufferEntry = Printable.ProdSimple(Node)(ControlSpecC)
 module BufferEntryOrTop = struct
   include Printable.Std
   type t = AllTargets | Target of BufferEntry.t [@@deriving eq, ord, hash, to_yojson]
+  let relift = function
+    | AllTargets -> AllTargets
+    | Target x -> Target (BufferEntry.relift x)
+
   let show = function AllTargets -> "All" | Target x -> BufferEntry.show x
 
   include Printable.SimpleShow (struct