in
handle_refresh_exception
(fun () ->
- let metasenv',expr =
+ let metasenv',expr,ugraph = (*TASSI: FIX THIS*)
(match term with
| None -> ()
| Some t -> (C.term_editor ())#set_term t);
List.find (function (m,_,_) -> m=metano) metasenv
in
canonical_context in
- let (metasenv',expr) =
+ let (metasenv',expr,ugraph) =(* FIX THIS AND *)
(C.term_editor ())#get_metasenv_and_term
canonical_context metasenv
in