From 9640f5bbbae9b65128926009ed1bf2e99615322c Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Mon, 1 Jul 2013 12:09:26 +0100
Subject: G,P

---
 language/l2.ott | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index eaa07cb2..e51cdf8f 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -520,7 +520,7 @@ semi_opt {{ tex \ottnt{;}^{?} }} :: 'semi_' ::=         {{ phantom }}
     {{ hol F }}
     {{ ocaml false }}
     {{ lem false }}
-  | ';'                                                 :: :: yes
+  | ';'                                                 :: :: yesb
     {{ hol T }}
     {{ ocaml true }}
     {{ lem true }}
-- 
cgit v1.2.3