From 8df4d12bbf08d90a4a0684e8461d83e4a435bc8c Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Mon, 22 Sep 2025 17:23:45 +0200 Subject: [PATCH] flatzink: fix from main --- makefiles/Makefile.cpp.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/Makefile.cpp.mk b/makefiles/Makefile.cpp.mk index d26ede715f..b2444c7289 100644 --- a/makefiles/Makefile.cpp.mk +++ b/makefiles/Makefile.cpp.mk @@ -561,7 +561,7 @@ test_cc_cpp: \ ARGS="--input=$(subst $S,/,$(OR_ROOT_FULL))/examples/cpp/shift_minimization.dat" rfz_%: cpp - $(INSTALL_DIR)$Sbin$Sfzn-ortools$E $(OR_ROOT_FULL)/examples/flatzinc/$*.fzn + $(INSTALL_DIR)$Sbin$Sfzn-cp-sat$E $(OR_ROOT_FULL)/examples/flatzinc/$*.fzn ############### ## Archive ##