diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index 8393207c..42ef8d44 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -1,8 +1,6 @@ (* generated by Ott 0.25 from: l2_parse.ott *) -type text = string - type l = | Unknown | Int of string * l option @@ -14,8 +12,8 @@ type 'a annot = l * 'a exception Parse_error_locn of l * string -type x = text (* identifier *) -type ix = text (* infix identifier *) +type x = string (* identifier *) +type ix = string (* infix identifier *) type base_kind_aux = (* base kind *) |