X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_transformations%2FcicAstPp.ml;h=ee60c427963aa3a191cd4f06c25451330b2b3c8b;hb=d3c72d6856cd185e5b3e9f2e8b928b78c7031ed1;hp=b1e6588766beeeb2b9b3fa1414cdfb2e06ec5871;hpb=97790db29ad0dc3d31e61acc69894aa5e6109a9e;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cicAstPp.ml b/helm/ocaml/cic_transformations/cicAstPp.ml
index b1e658876..ee60c4279 100644
--- a/helm/ocaml/cic_transformations/cicAstPp.ml
+++ b/helm/ocaml/cic_transformations/cicAstPp.ml
@@ -38,6 +38,11 @@ let rec pp_term = function
 
   | CicAst.Appl terms ->
       sprintf "(%s)" (String.concat " " (List.map pp_term terms))
+  | CicAst.Binder (`Forall, (Cic.Anonymous, typ), body)
+  | CicAst.Binder (`Pi, (Cic.Anonymous, typ), body) ->
+      sprintf "(%s \\to %s)"
+        (match typ with None -> "?" | Some typ -> pp_term typ)
+        (pp_term body)
   | CicAst.Binder (kind, var, body) ->
       sprintf "\\%s %s.%s" (pp_binder kind) (pp_capture_variable var)
         (pp_term body)