Skip to content

fix minor warning

Björn Brandenburgrequested to merge
fix-minor-warning into master

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

Merge request reports