From 114f09cf4cc35dd7d9774599d12fe1e7e12b747f Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 7 Mar 2016 15:00:22 +0000
Subject: [PATCH] Add missing source file declarations to CMake build that were
 added by 70f13ced3393cea570970b24d3d932d112183b9a

---
 contrib/cmake/src/ast/fpa/CMakeLists.txt | 1 +
 contrib/cmake/src/test/CMakeLists.txt    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/contrib/cmake/src/ast/fpa/CMakeLists.txt b/contrib/cmake/src/ast/fpa/CMakeLists.txt
index 12298b573..7369a9b3d 100644
--- a/contrib/cmake/src/ast/fpa/CMakeLists.txt
+++ b/contrib/cmake/src/ast/fpa/CMakeLists.txt
@@ -1,6 +1,7 @@
 z3_add_component(fpa
   SOURCES
     fpa2bv_converter.cpp
+    fpa2bv_rewriter.cpp
   COMPONENT_DEPENDENCIES
     ast
     simplifier
diff --git a/contrib/cmake/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt
index b6166b3f8..f504760e0 100644
--- a/contrib/cmake/src/test/CMakeLists.txt
+++ b/contrib/cmake/src/test/CMakeLists.txt
@@ -61,6 +61,7 @@ add_executable(test-z3
   "${CMAKE_CURRENT_BINARY_DIR}/mem_initializer.cpp"
   memory.cpp
   model2expr.cpp
+  model_evaluator.cpp
   model_retrieval.cpp
   mpbq.cpp
   mpf.cpp