diff options
Diffstat (limited to 'toplevel/topmain.ml')
| -rw-r--r-- | toplevel/topmain.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index fc105567a..265a70a38 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -21,7 +21,7 @@ let preload_objects = ref [] let prepare ppf = Toploop.set_paths (); try - let res = + let res = List.for_all (Topdirs.load_file ppf) (List.rev !preload_objects) in !Toploop.toplevel_startup_hook (); res @@ -101,4 +101,3 @@ let main () = ] file_argument usage; if not (prepare Format.err_formatter) then exit 2; Toploop.loop Format.std_formatter - |