diff options
| author | Alasdair Armstrong | 2019-05-16 20:34:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-16 20:34:24 +0100 |
| commit | 4a95bb1c25fe84be62f6eada024f964472736e69 (patch) | |
| tree | 121cc30aa5aa8a658fa3ebcef0ec187f32dd3005 /src/process_file.ml | |
| parent | 8b12231b4e35575b3a70db1847e44b2b80f09436 (diff) | |
Fix: Add a feature symbol for new constant type variable syntax
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 49da3ead..ae79d5c3 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -92,7 +92,9 @@ module StringSet = Set.Make(String) let default_symbols = List.fold_left (fun set str -> StringSet.add str set) StringSet.empty - [ "FEATURE_IMPLICITS" ] + [ "FEATURE_IMPLICITS"; + "FEATURE_CONSTANT_TYPES"; + ] let symbols = ref default_symbols |