diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index 76fa09b8..db50ecb6 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -6,6 +6,7 @@ type text = string type l = | Unknown | Int of string * l option + | Generated of l | Range of Lexing.position * Lexing.position type 'a annot = l * 'a |