diff options
Diffstat (limited to 'include/Support/GraphWriter.h')
| -rw-r--r-- | include/Support/GraphWriter.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/Support/GraphWriter.h b/include/Support/GraphWriter.h index 229284fa8e..2cb8fcc985 100644 --- a/include/Support/GraphWriter.h +++ b/include/Support/GraphWriter.h @@ -48,6 +48,7 @@ namespace DOT { // Private functions... break; // don't disturb \l case '{': case '}': case '<': case '>': + case '"': Str.insert(Str.begin()+i, '\\'); // Escape character... ++i; // don't infinite loop break; |