From d4d4a4fcef7398473c1ba85c5c974ca34cb53cef Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 3 Jul 2013 14:44:52 +0100
Subject: remove spurious bar_opt rule

---
 language/l2.ott | 14 --------------
 1 file changed, 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 }}  
-- 
cgit v1.2.3