From cf56da8482b054f6b653882047df9b94407328ac Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 21 Sep 2016 16:33:30 -0700
Subject: [PATCH] add z3test to cmakelists.txt

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

diff --git a/contrib/cmake/src/api/python/CMakeLists.txt b/contrib/cmake/src/api/python/CMakeLists.txt
index dcd6f09e0..6efdc15ef 100644
--- a/contrib/cmake/src/api/python/CMakeLists.txt
+++ b/contrib/cmake/src/api/python/CMakeLists.txt
@@ -10,6 +10,7 @@ set(z3py_files
   z3/z3poly.py
   z3/z3printer.py
   z3/z3rcf.py
+  z3test.py
   z3/z3types.py
   z3/z3util.py
 )