diff options
Diffstat (limited to 'parsing/asttypes.mli')
| -rw-r--r-- | parsing/asttypes.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/asttypes.mli b/parsing/asttypes.mli index ecdfcc5fd4..3cbc5a8212 100644 --- a/parsing/asttypes.mli +++ b/parsing/asttypes.mli @@ -37,6 +37,8 @@ type override_flag = Override | Fresh type closed_flag = Closed | Open +type focus_flag = AutoFocus | NoFocus + type label = string type 'a loc = 'a Location.loc = { |