X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=cb3b2d1c8bf8184d71c80ae3c27e6ebd185dce20;hb=4609a07e2fe4343d94832fcaf0936223f83ba71c;hp=82a7ca32ef1189ada1ff5cfb2e65629cecdf6b1b;hpb=9966e55f357cec5283b1b3d443178aeba68e065e;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 82a7ca32e..cb3b2d1c8 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -33,7 +33,7 @@ exception AttemptToInsertAnAlias
 
 let pp_ast_statement =
   GrafiteAstPp.pp_statement ~term_pp:CicNotationPp.pp_term
-    ~lazy_term_pp:CicNotationPp.pp_term ~obj_pp:CicNotationPp.pp_obj
+    ~lazy_term_pp:CicNotationPp.pp_term ~obj_pp:(CicNotationPp.pp_obj CicNotationPp.pp_term)
 
 (** {2 Initialization} *)