From fff6485e2f3ec82b6cb31e1f5038adef09be7eed Mon Sep 17 00:00:00 2001
From: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
Date: Sat, 24 Jun 2017 18:59:27 +0200
Subject: Removed merging searchers

---
 tools/klee/main.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 26ec6c7f..05ba54d3 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -718,7 +718,6 @@ static const char *modelledExternals[] = {
   "klee_is_symbolic",
   "klee_make_symbolic",
   "klee_mark_global",
-  "klee_merge",
   "klee_prefer_cex",
   "klee_posix_prefer_cex",
   "klee_print_expr",
-- 
cgit 1.4.1