From f1f0f78617edf8876e6053d4e82ecf2ff416f6da Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 May 2017 18:31:34 -0700
Subject: [PATCH] remove foci reference from cmakelist.txt

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

diff --git a/contrib/cmake/src/interp/CMakeLists.txt b/contrib/cmake/src/interp/CMakeLists.txt
index 949811b93..c3d8e3d5e 100644
--- a/contrib/cmake/src/interp/CMakeLists.txt
+++ b/contrib/cmake/src/interp/CMakeLists.txt
@@ -2,7 +2,6 @@ z3_add_component(interp
   SOURCES
     iz3base.cpp
     iz3checker.cpp
-    iz3foci.cpp
     iz3interp.cpp
     iz3mgr.cpp
     iz3pp.cpp