From 1f4d8be9e8fed3fe55b1561e0fac4cfc1923db25 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 19 Nov 2023 01:30:44 +0100
Subject: [PATCH] Avoid creating unneeded Task module which may not be set in
 `is_error_function'`

---
 src/witness/svcomp.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/witness/svcomp.ml b/src/witness/svcomp.ml
index 404626bb07..6d22a51166 100644
--- 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