From 3e68ad488f0ca59d2ec19a1c4332e59cc2efbb7c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 11 Mar 2019 11:30:33 +0000
Subject: Added missing description for some options in CmdLineOptions.cpp (and
 some reformatting).

---
 include/klee/SolverCmdLine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/SolverCmdLine.h b/include/klee/SolverCmdLine.h
index 82302208..c6fb6654 100644
--- a/include/klee/SolverCmdLine.h
+++ b/include/klee/SolverCmdLine.h
@@ -52,7 +52,7 @@ enum QueryLoggingSolverType {
   SOLVER_SMTLIB  ///< Log queries passed to solver in .smt2 (SMT-LIBv2) format
 };
 
-extern llvm::cl::bits<QueryLoggingSolverType> queryLoggingOptions;
+extern llvm::cl::bits<QueryLoggingSolverType> QueryLoggingOptions;
 
 enum CoreSolverType {
   STP_SOLVER,
-- 
cgit 1.4.1