diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-10-04 20:15:06 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-10-04 20:15:06 +0200 |
| commit | d81d584da5152af05c07f7842054a926aae20e10 (patch) | |
| tree | 9e15be94f1f8d05cccdbd575d4d5f0bac8cad221 /scripts | |
| parent | c9ac836b7b44d49c623ad8052639ca7beeaf1311 (diff) | |
| download | context-d81d584da5152af05c07f7842054a926aae20e10.tar.gz | |
2015-10-04 19:27:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-check.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-check.lua b/scripts/context/lua/mtx-check.lua index c456b4414..16b9cb64a 100644 --- a/scripts/context/lua/mtx-check.lua +++ b/scripts/context/lua/mtx-check.lua @@ -114,7 +114,7 @@ local contextgrammar = P { "tokens", ["start"] = start, ["stop"] = stop, ["whatever"] = line + esc * 1 + C(P("%") * (1-line)^0), - ["grouped"] = l_g * (V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + line + (1 - l_g - r_g))^0 * r_g, + ["grouped"] = l_g * (V("start") + V("stop") + V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + line + (1 - l_g - r_g))^0 * r_g, ["setup"] = l_s * (okay + V("whatever") + V("grouped") + V("setup") + V("display") + V("inline") + (1 - l_s - r_s))^0 * r_s, ["display"] = d_m * (V("whatever") + V("grouped") + (1 - d_m))^0 * d_m, ["inline"] = i_m * (V("whatever") + V("grouped") + (1 - i_m))^0 * i_m, |