X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaWiki.ml;h=7575eca10e3069b9a049531c54ab875cbfee5217;hb=8bc5bc0e8375a85736f6a5df317d129d5efa8de4;hp=5ed1d41b443e5b56d6a3355e0593b12da6de5595;hpb=f6c887944d48d718f372a57f1609f3d059908aa8;p=helm.git

diff --git a/helm/software/matita/matitaWiki.ml b/helm/software/matita/matitaWiki.ml
index 5ed1d41b4..7575eca10 100644
--- a/helm/software/matita/matitaWiki.ml
+++ b/helm/software/matita/matitaWiki.ml
@@ -227,7 +227,7 @@ let main () =
       |  s::_ ->
          s.proof_status, s.moo_content_rev,
           (GrafiteTypes.get_lexicon s).LexiconEngine.lexicon_content_rev,
-          GrafiteTypes.get_dump s
+          (GrafiteTypes.get_dstatus s)#dump
       | _ -> assert false
     in
     if proof_status <> GrafiteTypes.No_proof then