diff options
author | Diego Della Rocca de Camargos <diegodellarocc@gmail.com> | 2021-08-04 18:45:29 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-04 21:45:29 +0000 |
commit | 25b0456328224186ec699b6dc10d49c077dfb8a2 (patch) | |
tree | e5cc17a87de5ddda8d9352bfadbad57cf5d67331 /licenses/antlr3-LICENSE | |
parent | 9c459e04f32f243a58d5afb6687bd8c5f423ac93 (diff) |
[proof] [dot] Fix comments on dot printer (#6983)
This PR fixes the escaped characters in the dot printer. The output is now a valid DOT.
Signed-off-by: Diego Della Rocca de Camargos diegodellarocc@gmail.com
Diffstat (limited to 'licenses/antlr3-LICENSE')
0 files changed, 0 insertions, 0 deletions