minizinc 2.6.3 and or-tools 9.3: annotation warm_start conflict?

[Helmut Simonis]

Hi,

I have a program that runs without problems with minizinc 2.6.1 and or-tools 9.2.9 on windows. I've updated solvers to 2.6.3 and 9.3.10497 on another windows machine, and now get a message

Running basic.mzn
393msec

stdlib_ann:441-1.449-9:
MiniZinc: type error: function with the same type already defined in C:\or-tools_flatzinc_VisualStudio2022-64bit_v9.3.10497\share\minizinc\redefinitions-2.0.mzn:101.1-106.28
Process finished with non-zero exit code 1.
Finished in 393msec.

This seems to point to a redefinition of annotatioin warm_start in the or-tools redefinitions file.

Is there something wrong on my side, or has the interface for annotation warm_start changed in the current version?

Helmut