Undo svcomp stuff leaking into otherwise reasonable things

goblint · Jul 2, 2024 · 547491b · 547491b
1 parent 76c27bf
commit 547491b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/transform/evalAssert.ml b/src/transform/evalAssert.ml
@@ -27,7 +27,7 @@ module EvalAssert = struct
   let surroundByAtomic = true
 
   (* Cannot use Cilfacade.name_fundecs as assert() is external and has no fundec *)
-  let ass = makeVarinfo true "__VERIFIER_assert" (TVoid [])
+  let ass = makeVarinfo true "assert" (TVoid [])
   let atomicBegin = makeVarinfo true "__VERIFIER_atomic_begin" (TVoid [])
   let atomicEnd = makeVarinfo true "__VERIFIER_atomic_end" (TVoid [])