diff options
| author | Grahame Grieve <grahameg@gmail.com> | 2019-03-24 03:54:49 +1100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-03-23 10:54:49 -0600 |
| commit | 2c598fb3c8a0bd7e150d6dfd8655d6b752ebb1a5 (patch) | |
| tree | 240eaec898c23db34054d179db71db9a9001e7b4 | |
| parent | f95f0d090ea4370bd40da7acbfc3b7da669f3692 (diff) | |
Fix typo in spec (#551)
Change "If none in found" to "If none is found"
| -rw-r--r-- | spec.txt | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9546,7 +9546,7 @@ closers: of the delimiter stack. If the closing node is removed, reset `current_position` to the next element in the stack. -- If none in found: +- If none is found: + Set `openers_bottom` to the element before `current_position`. (We know that there are no openers for this kind of closer up to and |