Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
10 lines (7 sloc) 339 Bytes
let interactive = !Sys.interactive;;
Sys.interactive := false;; (*Pretend to be in non-interactive mode*)
#use "topfind";;
Sys.interactive := interactive;; (*Return to regular interactive mode*)
Toploop.use_silently
Format.err_formatter (Filename.concat (Findlib.package_directory
"batteries") "battop.ml");;
Something went wrong with that request. Please try again.