- let (_, metasenv, term) =
- Disambiguate'.disambiguate_term
- mqi_handle empty_context empty_metasenv input empty_environment
- in
- MQIConn.close mqi_handle; (metasenv, term)
+ (Disambiguate'.disambiguate_term
+ mqi_handle empty_context empty_metasenv input empty_environment)