From 0de67b9f0c3f7f331f873f19561aef311d2bed4a Mon Sep 17 00:00:00 2001
From: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
Date: Fri, 23 Aug 2019 14:46:46 +0200
Subject: Move merging related code from Executor into MergingSearcher

Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
---
 include/klee/MergeHandler.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'include')

diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h
index 213264e6..d189e46f 100644
--- a/include/klee/MergeHandler.h
+++ b/include/klee/MergeHandler.h
@@ -83,8 +83,6 @@ extern llvm::cl::opt<bool> UseMerge;
 
 extern llvm::cl::opt<bool> DebugLogMerge;
 
-extern llvm::cl::opt<bool> UseIncompleteMerge;
-
 extern llvm::cl::opt<bool> DebugLogIncompleteMerge;
 
 class Executor;
-- 
cgit 1.4.1