fix

google · Oct 18, 2024 · a7c4f82 · a7c4f82
1 parent 2865361
commit a7c4f82
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