make strings with spaces easier to read (#64)

47e0e022 · Jurriaan Bremer · Dylan Trotter · b61ec8f0 · 47e0e022
Commit 47e0e022 authored Jan 07, 2017 by Jurriaan Bremer Committed by Dylan Trotter Jan 07, 2017
Show 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
@@ -22,7 +22,7 @@ import string
 import textwrap


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