From d02e03bbc45eb7f4ae5d01135587e3ba2c9234c3 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 3 Mar 2025 15:49:57 +0100 Subject: [PATCH] fix --- ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn b/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn index 08b156664f..99e80808ca 100644 --- a/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn +++ b/ortools/flatzinc/mznlib/fzn_disjunctive_opt.mzn @@ -1,4 +1,4 @@ -include "fzn_cumulative_opt.mzn" +include "fzn_cumulative_opt.mzn"; predicate fzn_disjunctive_opt(array[int] of var opt int: s, array[int] of var int: d) =