let do_loadscripts () =
if !scriptfile = None then
match Wp_parameters.Script.get () with
| "" ->
let f = choose 0 in
Wp_parameters.warning
"No script file specified.@\nYour proofs would be saved in '%s'@\nUse -wp-script '%s' to re-run them."
f f ;
scriptfile := Some f
| file ->
try
parse_scripts file ;
scriptfile := Some file ;
dump_scripts (file ^ ".bak") ;
with e ->
Wp_parameters.abort
"Error in script file '%s':@\n%s" file
(Printexc.to_string e)