let mqi_debug_fun = ignore
let mqi_flags = []
-let mqi_handle = MQIConn.init mqi_flags mqi_debug_fun
let parse ?(uri_pred = constants_only) =
+ let mqi_handle = MQIConn.init mqi_flags mqi_debug_fun in
uri_predicate := uri_pred;
let empty_environment =
DisambiguatingParser.EnvironmentP3.of_string
Disambiguate'.disambiguate_term
mqi_handle empty_context empty_metasenv input empty_environment
in
- (metasenv, term)
+ MQIConn.close mqi_handle; (metasenv, term)
let parse_pp ?uri_pred input = CicPp.ppterm (snd (parse ?uri_pred input))