diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index e9d04c5b..3f24f4c3 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -190,7 +190,7 @@ let opt_ddump_raw_mono_ast = ref false let opt_dmono_analysis = ref 0 let opt_auto_mono = ref false let opt_mono_rewrites = ref false -let opt_mono_complex_nexps = ref false +let opt_mono_complex_nexps = ref true let opt_dall_split_errors = ref false let opt_dmono_continue = ref false |