Skip to content
GitLab

fix various uses of generated names

Closed 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