X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=13db5d2760a36216344c84676041cbad71b0b960;hb=6d887c63e04db301e185042eb9b2a7dbe9fd47e8;hp=d963cf6a27d7251103f0bb9f9509d717c0dcd7d8;hpb=551861bf1adbb1db5b0b9941b98ba54531157364;p=helm.git

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index d963cf6a2..13db5d276 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -76,7 +76,7 @@ let save_moo grafite_status =
   | true, _ -> ()
   | _, true ->
      GrafiteTypes.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri)
-      grafite_status#dump
+      ~dependencies:grafite_status#dependencies grafite_status#dump
   | _ -> clean_current_baseuri grafite_status 
 ;;