Fix w.r.t. coq/coq#10764.

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

Closed ppedrot closed 4 years ago

ppedrot commented 4 years ago

Backwards compatible, can be merged as-is.

anton-trunov commented 4 years ago

@ppedrot Thanks. This fixes #11