diff options
| author | Gabriel Kerneis | 2013-07-03 14:44:52 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-07-03 14:44:52 +0100 |
| commit | d4d4a4fcef7398473c1ba85c5c974ca34cb53cef (patch) | |
| tree | 08edb4fa4ce0e98391796a282fe60ffd1455f601 | |
| parent | c2d23f254127016a86f2abbf62615649afbf95a0 (diff) | |
remove spurious bar_opt rule
| -rw-r--r-- | language/l2.ott | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/language/l2.ott b/language/l2.ott index 68cdfa51..3c186839 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -614,20 +614,6 @@ P_app <= P_as grammar -bar_opt {{ tex \ottkw{|}^{?} }} :: 'bar_' ::= {{ phantom }} - {{ ocaml terminal * bool }} - {{ lem (terminal * bool) }} - {{ hol bool }} - {{ com Optional bars }} - | :: :: no - {{ hol F }} - {{ ocaml false }} - {{ lem false }} - | '|' :: :: yes - {{ hol T }} - {{ ocaml true }} - {{ lem true }} - exp :: 'E_' ::= {{ com Expressions }} {{ aux _ l }} |