fix sanitization for dot
This commit is contained in:
parent
7ed273f070
commit
5a4504592c
1 changed files with 1 additions and 0 deletions
|
|
@ -248,6 +248,7 @@ impl<'a> MethodCFG<'a> {
|
||||||
.replace("-", "_")
|
.replace("-", "_")
|
||||||
.replace("(", "_")
|
.replace("(", "_")
|
||||||
.replace(")", "_")
|
.replace(")", "_")
|
||||||
|
.replace("[", "T")
|
||||||
}
|
}
|
||||||
|
|
||||||
// method call: cluster_{mth}:node_{i}:i{j}:e -> cluster_{mth2}:n ?
|
// method call: cluster_{mth}:node_{i}:i{j}:e -> cluster_{mth2}:n ?
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue