mathql interpreter flags can be now red from helm registry

[helm.git] / helm / ocaml / cic_transformations / cicAstPp.ml

diff --git a/helm/ocaml/cic_transformations/cicAstPp.ml b/helm/ocaml/cic_transformations/cicAstPp.ml
index ee60c427963aa3a191cd4f06c25451330b2b3c8b..02cf5511cd963a07b84c4c65b3902b0fde0f62fb 100644 (file)
--- 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"