diff options
Diffstat (limited to 'toplevel/mltop.ml')
| -rw-r--r-- | toplevel/mltop.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml index 0aa15edda2..cf5f644652 100644 --- a/toplevel/mltop.ml +++ b/toplevel/mltop.ml @@ -72,10 +72,14 @@ let load = ref WithoutTop let is_native = Dynlink.is_native (* Sets and initializes a toplevel (if any) *) -let set_top toplevel = load := WithTop toplevel +let set_top toplevel = load := + WithTop toplevel; + Nativelib.load_obj := toplevel.load_obj (* Removes the toplevel (if any) *) -let remove ()= load := WithoutTop +let remove () = + load := WithoutTop; + Nativelib.load_obj := (fun x -> () : string -> unit) (* Tests if an Ocaml toplevel runs under Coq *) let is_ocaml_top () = |