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

diff --git a/helm/ocaml/cic_transformations/cicAstPp.ml b/helm/ocaml/cic_transformations/cicAstPp.ml
index ee60c4279..02cf5511c 100644
--- a/helm/ocaml/cic_transformations/cicAstPp.ml
+++ b/helm/ocaml/cic_transformations/cicAstPp.ml
@@ -27,7 +27,7 @@ open Printf
 
 let pp_binder = function
   | `Lambda -> "lambda"
-  | `Pi -> "pi"
+  | `Pi -> "Pi"
   | `Exists -> "exists"
   | `Forall -> "forall"