summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-02-13 02:08:03 -0800
committerOri Bernstein <ori@eigenstate.org>2017-02-13 02:08:03 -0800
commitf0a0aad9faece7e4604d2dc630cfef614b03d33b (patch)
tree2ab9d9e635cc88adbd39e368dcfeda6087dfc299 /doc
parente7f3b436eec95b0de2cc0837e51f11c62e30d830 (diff)
downloadmc-f0a0aad9faece7e4604d2dc630cfef614b03d33b.tar.gz
Clarify whitespace handling.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index c272133..3919107 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -66,7 +66,7 @@ TABLE OF CONTENTS:
zerorep: term "*"
onerep: term "+"
- Whitespace and comments are ommitted in this description.
+ Whitespace and comments are implicitly stripped out before parsing.
To put it in words, /regex/ defines a regular expression that would
match a single token in the input. "quoted" would match a single