end
class disambiguator
- ~parserr ~mqiconn ~(chooseUris: MatitaTypes.choose_uris_callback)
+ ~parserr ~dbh ~(chooseUris: MatitaTypes.choose_uris_callback)
~(chooseInterp: MatitaTypes.choose_interp_callback) ()
=
let disambiguate_term =
| Some env -> (false, env)
| None -> (true, _env)
in
- match disambiguate_term mqiconn context metasenv termAst ~aliases:env with
+ match disambiguate_term ~dbh context metasenv termAst ~aliases:env with
| [ (env, metasenv, term) as x ] ->
if save_state then self#setEnv env;
x