fix minor warning

Make sure Prosa (without classic) compiles without warnings on the latest Coq version.

enabled an automatic merge when the pipeline for c95b4984 succeeds

merged