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