Do not expand lifted thread ID

sim642 · sim642 · commit 152b54baa51e · 2023-12-15T11:34:18.000+02:00
diff --git a/src/cdomains/threadIdDomain.ml b/src/cdomains/threadIdDomain.ml
@@ -199,6 +199,7 @@ module ThreadLiftNames = struct
   include Printable.DefaultConf
   let bot_name = "Bot Threads"
   let top_name = "Top Threads"
+  let expand1 = false
 end
 module Lift (Thread: S) =
 struct
