X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=6308eab86e3035f0fe170ce0b24bbf82f21cb843;hb=41be5e85a1103a5b14495bb487995a6a88e79c48;hp=641ac4c9aab9a8a0b799f25115ea84902b19f200;hpb=4dd2d3dc8e1dbb22d71c8fa741a20fb7d506930a;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 641ac4c9a..6308eab86 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -96,7 +96,7 @@ let ask_and_save_moo_if_needed parent fname status =
         | `CANCEL -> raise MatitaTypes.Cancel 
       in
       if b then
-        save ()
+          save ()
       else
         clean_current_baseuri status
     end