From b084092bcc2e5cb69e80a9a0ecd9340ec4c4458c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 15 Aug 2019 22:29:59 +0100
Subject: Renamed CmdLineOptions.cpp to SolverCmdLine.cpp (in line with the
 associated header SolverCmdLine.h) and moved it to the Solver library.

---
 lib/Solver/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Solver/CMakeLists.txt')

diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt
index d9c393fb..f4cfa738 100644
--- a/lib/Solver/CMakeLists.txt
+++ b/lib/Solver/CMakeLists.txt
@@ -21,6 +21,7 @@ klee_add_component(kleaverSolver
   QueryLoggingSolver.cpp
   SMTLIBLoggingSolver.cpp
   Solver.cpp
+  SolverCmdLine.cpp
   SolverImpl.cpp
   SolverStats.cpp
   STPBuilder.cpp
-- 
cgit 1.4.1