escape backslash (#94)

cca0a555 · YOU · Dylan Trotter · ab37d533 · cca0a555
Commit cca0a555 authored Jan 12, 2017 by YOU Committed by Dylan Trotter Jan 12, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

compiler/util.py compiler/util.py +1 -1

No files found.
--- a/compiler/util.py
+++ b/compiler/util.py
@@ -23,7 +23,7 @@ import textwrap


 _SIMPLE_CHARS = set(string.digits + string.letters + string.punctuation + " ")
-_ESCAPES = {'\t': r'\t', '\r': r'\r', '\n': r'\n', '"': r'\"'}
+_ESCAPES = {'\t': r'\t', '\r': r'\r', '\n': r'\n', '"': r'\"', '\\': r'\\'}


 class ParseError(Exception):