From 296addf2460c55f21da9b158ee7fd2bffa308eba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Mar 2016 12:44:44 -0700
Subject: [PATCH] add new files to cmakelists

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 contrib/cmake/src/qe/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/contrib/cmake/src/qe/CMakeLists.txt b/contrib/cmake/src/qe/CMakeLists.txt
index 9db253bd6..b20854de1 100644
--- a/contrib/cmake/src/qe/CMakeLists.txt
+++ b/contrib/cmake/src/qe/CMakeLists.txt
@@ -4,13 +4,16 @@ z3_add_component(qe
     qe_arith.cpp
     qe_arith_plugin.cpp
     qe_array_plugin.cpp
+    qe_arrays.cpp
     qe_bool_plugin.cpp
     qe_bv_plugin.cpp
     qe_cmd.cpp
     qe.cpp
     qe_datatype_plugin.cpp
+    qe_datatypes.cpp
     qe_dl_plugin.cpp
     qe_lite.cpp
+    qe_mbp.cpp
     qe_sat_tactic.cpp
     qe_tactic.cpp
     qe_util.cpp