(okb#connect#clicked (function () -> chosen := true ; window#destroy ())) ;
ignore
(input#buffer#insert ~iter:(input#buffer#get_iter_at_char 0)
- (DisambiguatingParser.Environment.to_string !id_to_uris)) ;
+ (DisambiguatingParser.EnvironmentP3.to_string !id_to_uris)) ;
window#show () ;
GtkThread.main ();
if !chosen then
id_to_uris :=
- DisambiguatingParser.Environment.of_string (input#buffer#get_text ())
+ DisambiguatingParser.EnvironmentP3.of_string (input#buffer#get_text ())
;;
let proveit () =