aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-03-17 09:49:21 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-03-17 09:49:41 -0700
commit4b43238c46f2181cbf4618a23e1c2b0bf34723b3 (patch)
tree36c6f08c429ab4899d90be2028fd2030ae6ebcca
parent264a38a31eb5d1197a8a0e7370686f087fb3e566 (diff)
Improve documentation of openers_stack.
Closes #563.
-rw-r--r--spec.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/spec.txt b/spec.txt
index f3921c6..b86079e 100644
--- a/spec.txt
+++ b/spec.txt
@@ -9481,8 +9481,8 @@ just above `stack_bottom` (or the first element if `stack_bottom`
is NULL).
We keep track of the `openers_bottom` for each delimiter
-type (`*`, `_`) and delimiter length (modulo 3). Initialize
-this to `stack_bottom`.
+type (`*`, `_`) and each length of the closing delimiter run
+(modulo 3). Initialize this to `stack_bottom`.
Then we repeat the following until we run out of potential
closers: