fix

google · Oct 18, 2024 · 61d5b5e · 61d5b5e
1 parent dd9e4e0
commit 61d5b5e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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