Before writing a dot file, remove all symbols that confuse
authorjjenista <jjenista>
Tue, 15 Apr 2008 20:48:57 +0000 (20:48 +0000)
committerjjenista <jjenista>
Tue, 15 Apr 2008 20:48:57 +0000 (20:48 +0000)
commitc6ae480838b267584213591927c437da5863e34c
tree3104e89c1ef5853279f1b4beefeea43910df0fce
parent8dcf5a001b87ec96322b3b65f0962a76c0cd3d2d
Before writing a dot file, remove all symbols that confuse
the dot syntax from the graph's name.
Robust/src/Analysis/FlatIRGraph/FlatIRGraph.java