transformations no longer use Content_expression, but rather CicAst

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

diff --git a/helm/ocaml/cic_transformations/boxPp.mli b/helm/ocaml/cic_transformations/boxPp.mli
index 98c693a0a02bab05364d56ec54f5d891b6994159..de984d26e263d00739114ea7dd9174115fe737a0 100644 (file)
--- a/helm/ocaml/cic_transformations/boxPp.mli
+++ b/helm/ocaml/cic_transformations/boxPp.mli
@@ -25,5 +25,5 @@
 
 val to_string : ('expr -> string) -> 'expr Box.box -> string list
 
-val pp_term : CicAst.term -> string
+val pp_term : ?ids_to_uris: (Cic.id, string) Hashtbl.t -> CicAst.term -> string