diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index eb238b65..2e48c264 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -45,7 +45,7 @@ type text = string type l = | Unknown - | Trans of string * l option + | Int of string * l option | Range of Lexing.position * Lexing.position type 'a annot = l * 'a |