From 61d5b5e9373c3ad03802e0194685ba1adc279039 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Fri, 18 Oct 2024 12:38:50 +0200
Subject: [PATCH] fix

---
 cmake/flatzinc.cmake | 2 --
 1 file changed, 2 deletions(-)

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