X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdump_moo.ml;h=6b8658abdba777d7376163576f41db7a29304fae;hb=2c31f199f35d96d7b0dd86f738c8d4887b37446d;hp=54eaea4bae87a8e27ce33e56b19ea0246eb523bb;hpb=7b4d519aefac94afb371a7e4da94779b40bf8608;p=helm.git

diff --git a/helm/software/matita/dump_moo.ml b/helm/software/matita/dump_moo.ml
index 54eaea4ba..6b8658abd 100644
--- a/helm/software/matita/dump_moo.ml
+++ b/helm/software/matita/dump_moo.ml
@@ -52,8 +52,8 @@ let _ =
           (fun cmd ->
             printf "  %s\n%!"
               (GrafiteAstPp.pp_command
-                ~term_pp:(fun _ -> assert false)
-                ~obj_pp:(fun _ -> assert false) cmd))
+                ~term_pp:(fun t -> CicPp.ppterm t)
+                ~obj_pp:(fun _ -> "OBJ") cmd))
           commands;
       end)
     (List.rev !moos)