summaryrefslogtreecommitdiff
path: root/toplevel
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-11 00:17:05 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2014-05-11 00:17:05 +0000
commitccce2729666c4df6a1a7e5b92addb7b81d67dd23 (patch)
tree0cb546d5713db6e1fad031c12d084dfa05c9fc1e /toplevel
parentfc8c7778250119e7be7df329929861ef6b77b55f (diff)
downloadocaml-ccce2729666c4df6a1a7e5b92addb7b81d67dd23.tar.gz
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.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml
index bcaa0734e1..d7f4e812ed 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