Remove duplicated tid printing from mhp

goblint · Jan 3, 2024 · 8ffcc4f · 8ffcc4f
1 parent cf8d588
commit 8ffcc4f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/cdomains/mHP.ml b/src/cdomains/mHP.ml
@@ -24,7 +24,6 @@ let current (ask:Queries.ask) =
   }
 
 let pretty () {tid; created; must_joined} =
-  let tid_doc = Some (Pretty.dprintf "tid=%a" ThreadIdDomain.ThreadLifted.pretty tid) in
   (* avoid useless empty sets in race output *)
   let created_doc =
     if ConcDomain.ThreadSet.is_empty created then
@@ -38,7 +37,7 @@ let pretty () {tid; created; must_joined} =
     else
       Some (Pretty.dprintf "must_joined=%a" ConcDomain.ThreadSet.pretty must_joined)
   in
-  let docs = List.filter_map Fun.id [tid_doc; created_doc; must_joined_doc] in
+  let docs = List.filter_map Fun.id [created_doc; must_joined_doc] in
   Pretty.dprintf "{%a}" (Pretty.d_list "; " Pretty.insert) docs
 
 include Printable.SimplePretty (