diff options
| author | Peter Sewell | 2013-07-01 12:09:26 +0100 |
|---|---|---|
| committer | Peter Sewell | 2013-07-01 12:09:26 +0100 |
| commit | 9640f5bbbae9b65128926009ed1bf2e99615322c (patch) | |
| tree | 6c903f6637d652e2fafce4e7e892694f24891677 | |
| parent | dd6e180bc284fd162911ce8fe471c3598b8303ed (diff) | |
G,P
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 1 insertions, 1 deletions
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 }} |