- let lexicon_status_ref = ref lexicon_status in
- let disambiguate_term = disambiguate_term None text prefix_len lexicon_status_ref [] in
- let metasenv,indty = disambiguate_term metasenv indty in
- !lexicon_status_ref, metasenv, GrafiteAst.Inverter (loc,n,indty,params)
+ let lexicon_status_ref = ref estatus.NEstatus.lstatus in
+ let disambiguate_term =
+ disambiguate_term None text prefix_len lexicon_status_ref [] in
+ let metasenv,indty = disambiguate_term metasenv indty in
+ { estatus with NEstatus.lstatus = !lexicon_status_ref },
+ metasenv, GrafiteAst.Inverter (loc,n,indty,params)