Skip to content

fix minor warning

Björn Brandenburg requested to merge fix-minor-warning into master

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

Merge request reports