- let term =
- Parser.parse_term (Stream.of_string (input#buffer#get_text ()))
- in
- let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_term mqi_handle context metasenv term
- ~aliases:!id_to_uris
+ let environment',metasenv,expr =
+ match
+ Disambiguate'.disambiguate_term mqi_handle context metasenv
+ (input#buffer#get_text ()) !environment
+ with
+ [environment',metasenv,expr] -> environment',metasenv,expr
+ | _ -> assert false