diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/SolverCmdLine.h | 2 |
1 files changed, 1 insertions, 1 deletions
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, |