X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2FmatitacLib.ml;h=cb3b2d1c8bf8184d71c80ae3c27e6ebd185dce20;hb=e9b482856904b32a5c92eee8bcd860ffe74fa74f;hp=82a7ca32ef1189ada1ff5cfb2e65629cecdf6b1b;hpb=06e2976ca4ef6bdfe14beba14ba538a2479c51a8;p=helm.git

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index 82a7ca32e..cb3b2d1c8 100644
--- a/matita/matitacLib.ml
+++ b/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} *)