From 1864fed7225a5db0762f400b2ad854c98ce8983b Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Tue, 2 Jan 2024 14:15:51 +0200
Subject: [PATCH] Make IntDomLifter show similar to pretty

---
 src/cdomains/intDomain.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/cdomains/intDomain.ml b/src/cdomains/intDomain.ml
index 76074dd333..492a0890e0 100644
--- a/src/cdomains/intDomain.ml
+++ b/src/cdomains/intDomain.ml
@@ -407,7 +407,11 @@ struct
   let widen = lift2 I.widen
   let narrow = lift2 I.narrow
 
-  let show x = I.show x.v  (* TODO add ikind to output *)
+  let show x =
+    if I.is_top_of x.ikind x.v then
+      "⊤"
+    else
+      I.show x.v  (* TODO add ikind to output *)
   let pretty () x =
     if I.is_top_of x.ikind x.v then
       Pretty.text "⊤"