diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/language/l2.ott b/language/l2.ott index 905c330a..bf001f5c 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -41,8 +41,6 @@ metavar regexp ::= embed {{ ocaml -type l = Parse_ast.l - type 'a annot = l * 'a }} @@ -91,7 +89,7 @@ metavar ix ::= grammar l :: '' ::= {{ phantom }} - {{ ocaml l }} + {{ ocaml Parse_ast.l }} {{ lem l }} {{ hol unit }} {{ com source location }} |