diff options
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 |