X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FcontentPp.mli;h=85ce238f39f42043febe8e161cd9b7e90f8fb54a;hp=ddaf76b23f0f05a552b34ff60ee374de0b6c0223;hb=43f61eedd2a1f499166de33a98af00b767dcc117;hpb=4a01e6197e070d3eff7a3fe02180597136d81eba

diff --git a/helm/ocaml/cic_transformations/contentPp.mli b/helm/ocaml/cic_transformations/contentPp.mli
index ddaf76b23..85ce238f3 100644
--- a/helm/ocaml/cic_transformations/contentPp.mli
+++ b/helm/ocaml/cic_transformations/contentPp.mli
@@ -23,6 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val print_proof: Cic.annterm Cic2content.proof -> unit
+val print_proof: Cic.annterm Content.proof -> unit