diff options
Diffstat (limited to 'toplevel/opttopmain.ml')
-rw-r--r-- | toplevel/opttopmain.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/opttopmain.ml b/toplevel/opttopmain.ml index dd4a52b473..e13bfca4ed 100644 --- a/toplevel/opttopmain.ml +++ b/toplevel/opttopmain.ml @@ -79,6 +79,7 @@ module Options = Main_args.Make_opttop_options (struct let _rectypes = set recursive_types let _strict_sequence = set strict_sequence let _S = set keep_asm_file + let _stdin () = file_argument "" let _unsafe = set fast let _version () = print_version () let _vnum () = print_version_num () |