Skip to content

fix various uses of generated names

Ralf Jung requested to merge ralf/mangle into master

This makes the entire std++ build with name mangling on Coq master.

Edited by Ralf Jung

Merge request reports