Thanks Mark! I forgot to do a clean build before creating the pull request and the file was already compiled... Sorry about that!
I'll keep on working on v0 mangling in order to get all the parts linked correctly, but it was in a bit of a dire state :) Cheers, Arthur -- Gcc-rust mailing list Gcc-rust@gcc.gnu.org https://gcc.gnu.org/mailman/listinfo/gcc-rust
