Merge branch 'develop' of gitlab.anu.edu.au:mu/mu-impl-fast into develop

cb72cefe · Pavel Zakopaylo · 38b77fac · 572a6939 · cb72cefe
Commit cb72cefe authored Jun 28, 2017 by Pavel Zakopaylo
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/ast/src/ir.rs src/ast/src/ir.rs +1 -1

No files found.
--- a/src/ast/src/ir.rs
+++ b/src/ast/src/ir.rs
@@ -1111,7 +1111,7 @@ impl Clone for MuEntityHeader {
 }

 pub fn name_check(name: MuName) -> MuName {
-    let name = name.replace('.', "_");
+    let name = name.replace('.', "$");

    if name.starts_with("@") || name.starts_with("%") {
        let (_, name) = name.split_at(1);