Please make your project compile with -w "+compatibility-notation"

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

Please make your project compile with -w "+compatibility-notation" #4

Closed Zimmi48 closed 6 years ago

Zimmi48 commented 6 years ago

Please make your project compile with -w "+compatibility-notation" to prepare for the Coq 8.9 release. We would appreciate if this could be done ASAP. If you have trouble doing so, please raise your concern at coq/coq#8383.

Zimmi48 commented 6 years ago

Hum sorry for the noise. The problem comes from ssreflect which this project depends on.