X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.ml;fp=matita%2Fmatita.ml;h=c559358c575934b67883baad1e9bd4286881fd32;hb=bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677;hp=198fad3c57fc54ab90d23ec58eee46e728fdfbe6;hpb=b066ec682141c7c41d77e80d70c71aeadd1f1ab3;p=helm.git

diff --git a/matita/matita.ml b/matita/matita.ml
index 198fad3c5..c559358c5 100644
--- 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 ();