about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2017-03-23 22:04:26 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2017-03-23 22:07:19 +0000
commitd4cebbec01c2279d337811d881dfb3452c6f7350 (patch)
tree01f3a596cfd9bb64a3abe8a121781892ecfcfe75 /lib/Solver
parent4530447c21353b5596b66a9fbb642409cda56f73 (diff)
downloadklee-d4cebbec01c2279d337811d881dfb3452c6f7350.tar.gz
[CMake] Unbreak build due to not adding AssignmentValidatingSolver.cpp
to list of source files.

The cause of the breakage was me being to eager and merging #468
before forcing tests to re-run. That PR was written before the CMake
build system existed.
Diffstat (limited to 'lib/Solver')
-rw-r--r--lib/Solver/CMakeLists.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt
index 1302db38..d9c393fb 100644
--- a/lib/Solver/CMakeLists.txt
+++ b/lib/Solver/CMakeLists.txt
@@ -7,6 +7,7 @@
 #
 #===------------------------------------------------------------------------===#
 klee_add_component(kleaverSolver
+  AssignmentValidatingSolver.cpp
   CachingSolver.cpp
   CexCachingSolver.cpp
   ConstantDivision.cpp