Avoid creating unneeded Task module which may not be set in `is_error…

…_function'`
goblint · Nov 19, 2023 · 1f4d8be · 1f4d8be
1 parent a40f2cf
commit 1f4d8be
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/witness/svcomp.ml b/src/witness/svcomp.ml
@@ -17,7 +17,6 @@ let task: (module Task) option ref = ref None
 
 
 let is_error_function' f spec =
-  let module Task = (val (Option.get !task)) in
   List.exists (function
       | Specification.UnreachCall f_spec -> f.vname = f_spec
       | _ -> false