diff options
Diffstat (limited to 'toplevel/topmain.ml')
| -rw-r--r-- | toplevel/topmain.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index 083b427eee..4b1a06a60f 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -139,6 +139,8 @@ module Options = Main_args.Make_bytetop_options (struct let _warn_help = Warnings.help_warnings let _dparsetree = set dump_parsetree let _dtypedtree = set dump_typedtree + let _dno_unique_ids = clear unique_ids + let _dunique_ids = set unique_ids let _dsource = set dump_source let _drawlambda = set dump_rawlambda let _dlambda = set dump_lambda |