diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
| commit | ccce2729666c4df6a1a7e5b92addb7b81d67dd23 (patch) | |
| tree | 0cb546d5713db6e1fad031c12d084dfa05c9fc1e /toplevel | |
| parent | fc8c7778250119e7be7df329929861ef6b77b55f (diff) | |
commit o_and_opens.diff
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/topmain.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index bcaa0734e..d7f4e812e 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -74,6 +74,7 @@ module Options = Main_args.Make_bytetop_options (struct let _noprompt = set noprompt let _nopromptcont = set nopromptcont let _nostdlib = set no_std_include + let _open s = open_module := s :: !open_module let _ppx s = first_ppx := s :: !first_ppx let _principal = set principal let _rectypes = set recursive_types |