Skip to content

add 'Global' to 'Typeclasses Opaque'/'Transparent'

Ralf Jung requested to merge ralf/tc-opaque-vis into master

Coq has started warning about this. Let's see if all our supported Coq versions support adding Global here.

Merge request reports