Cic2content split into Content and Cic2content.

[helm.git] / helm / ocaml / cic_transformations / contentPp.mli

diff --git a/helm/ocaml/cic_transformations/contentPp.mli b/helm/ocaml/cic_transformations/contentPp.mli
index ddaf76b23f0f05a552b34ff60ee374de0b6c0223..85ce238f39f42043febe8e161cd9b7e90f8fb54a 100644 (file)
--- 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