X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.ml;h=cc46c76492e43218f24ed1779beb4b720711f78f;hb=df1201e37d6f2631dc31ffc87b979a6c81180a3a;hp=658a3ad384bb5d94ee2826b3239c530b94ad2b6f;hpb=dcdbb979433a61e2ef2842d96604098728824416;p=helm.git

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index 658a3ad38..cc46c7649 100644
--- a/helm/software/matita/matita.ml
+++ b/helm/software/matita/matita.ml
@@ -140,7 +140,7 @@ let _ =
       ignore (GMenu.separator_item ~packing:gui#main#debugMenu_menu#append ())
     in
     addDebugItem "dump aliases" (fun _ ->
-      let status = GrafiteTypes.get_lexicon script#grafite_status in
+      let status = GrafiteTypes.get_estatus script#grafite_status in
       LexiconEngine.dump_aliases HLog.debug "" status);
 (* FG: DEBUGGING   
     addDebugItem "dump interpretations" (fun _ ->