removed all Developments related stuff in glade file,

[helm.git] / matita / matita.ml

diff --git a/matita/matita.ml b/matita/matita.ml
index 198fad3c57fc54ab90d23ec58eee46e728fdfbe6..c559358c575934b67883baad1e9bd4286881fd32 100644 (file)
--- a/matita/matita.ml
+++ b/matita/matita.ml
@@ -65,7 +65,6 @@ let script =
         (fun ~title ~message -> 
             MatitaGtkMisc.ask_confirmation ~title ~message 
             ~parent:gui#main#toplevel ())
-      ~rootcreator:gui#createRoot
       ()
   in
   gui#sourceView#source_buffer#begin_not_undoable_action ();