diff --git a/cmake/flatzinc.cmake b/cmake/flatzinc.cmake
index 55304f8935..6a74b799e8 100644
--- a/cmake/flatzinc.cmake
+++ b/cmake/flatzinc.cmake
@@ -70,8 +70,6 @@ add_library(flatzinc
   ortools/flatzinc/parser.yy.cc
   #ortools/flatzinc/parser_util.cc # Already #include in parser.tab.cc
   ortools/flatzinc/parser_util.h
-  ortools/flatzinc/presolve.cc
-  ortools/flatzinc/presolve.h
   )
 ## Includes
 target_include_directories(flatzinc PUBLIC