From dda1774fa184e60744901ed42940d33d7122079a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Jan 2017 08:21:49 -0800
Subject: [PATCH] update CMakeList to remove polynomial-factorization

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

diff --git a/contrib/cmake/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt
index 6f6615e0c..6ea07e84c 100644
--- a/contrib/cmake/src/test/CMakeLists.txt
+++ b/contrib/cmake/src/test/CMakeLists.txt
@@ -82,7 +82,6 @@ add_executable(test-z3
   pdr.cpp
   permutation.cpp
   polynomial.cpp
-  polynomial_factorization.cpp
   polynorm.cpp
   prime_generator.cpp
   proof_checker.cpp