Remove duplicated Tasks module from extractPthread

goblint · Aug 23, 2023 · 178a9c6 · 178a9c6
1 parent cfab28c
commit 178a9c6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/analyses/extractPthread.ml b/src/analyses/extractPthread.ml
@@ -869,8 +869,6 @@ module Spec : Analyses.MCPSpec = struct
   module C = D
 
   (** Set of created tasks to spawn when going multithreaded *)
-  module Tasks = SetDomain.Make (Lattice.Prod (Queries.AD) (D))
-
   module G = Tasks
 
   let tasks_var =