diff options
Diffstat (limited to 'driver/optmain.ml')
| -rw-r--r-- | driver/optmain.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 84e07183b..d04ad76b1 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -110,6 +110,7 @@ module Options = Main_args.Make_optcomp_options (struct let _runtime_variant s = runtime_variant := s let _short_paths = clear real_paths let _strict_sequence = set strict_sequence + let _trans_mod = set transparent_modules let _shared () = shared := true; dlcode := true let _S = set keep_asm_file let _thread = set use_threads |