diff options
Diffstat (limited to 'language')
| -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 }} |