Prepatory code for tracing escaped dots

This commit is contained in:
Wilson Snyder
2009-05-08 14:48:33 -04:00
parent a3e463030d
commit 592b2e76a8
2 changed files with 7 additions and 1 deletions
+2 -1
View File
@@ -172,7 +172,8 @@ string AstNode::prettyName(const string& namein) {
pos++;
}
}
return AstNode::dedotName(pretty);
if (pretty.substr(0,4) == "TOP.") pretty.replace(0,4,"");
return pretty;
}
int AstNode::widthPow2() const {