X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita%2FmatitacLib.ml;h=07d58b3955201e5e1de8836b5a4fa7cd01cc748e;hb=64e9baf5488aa0ad2e2d356ef6eb72b8ecb9fca0;hp=1f9dad80f7dbcf1815dbdf7123c6a7032a7e5945;hpb=41be5e85a1103a5b14495bb487995a6a88e79c48;p=helm.git

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 1f9dad80f..07d58b395 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -27,6 +27,10 @@ open Printf
 
 open GrafiteTypes
 
+let pp_ast_statement =
+  GrafiteAstPp.pp_statement ~term_pp:CicNotationPp.pp_term
+    ~lazy_term_pp:CicNotationPp.pp_term ~obj_pp:CicNotationPp.pp_obj
+
 (** {2 Initialization} *)
 
 let status = ref None
@@ -44,9 +48,9 @@ let run_script is eval_function  =
     else 
       (fun status stm ->
         (* dump_status status; *)
-        let stm = GrafiteAstPp.pp_statement stm in
+        let stm = pp_ast_statement stm in
         let stm = Pcre.replace ~rex:slash_n_RE stm in
-        let stm = 
+        let stm =
           if String.length stm > 50 then
             String.sub stm 0 50 ^ " ..."
           else