From 5f320519a435f22e88872c3f1f7f0e2017406f9d Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Mon, 24 May 2010 09:37:25 +0000
Subject: Removed unused use-query-log option, patch submitted by Peter
 Collingbourne.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@104487 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Core/Executor.cpp | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 79f89de7..dc74b6cd 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -153,10 +153,6 @@ namespace {
               cl::init(true),
 	      cl::desc("Use counterexample caching"));
 
-  cl::opt<bool>
-  UseQueryLog("use-query-log",
-              cl::init(false));
-
   cl::opt<bool>
   UseQueryPCLog("use-query-pc-log",
                 cl::init(false));
-- 
cgit 1.4.1