From d4cebbec01c2279d337811d881dfb3452c6f7350 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 23 Mar 2017 22:04:26 +0000
Subject: [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.
---
 lib/Solver/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit 1.4.1