~chooseUris:mono_uris_callback ~chooseInterp:mono_interp_callback
()
let console = new tty_console
-let currentProof = (new MatitaProof.currentProof :> MatitaTypes.currentProof)
-let interpreter =
- new MatitaInterpreter.interpreter
- ~disambiguator ~currentProof ~console ~dbd ()
+let interpreter = MatitaInterpreter.interpreter ~disambiguator ~console ()
let run_script fname =
message (sprintf "execution of %s started:" fname);