Skip to content

fix various uses of generated names

Ralf Jungrequested 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