- content/interpretations.ml and ng_cic_content/nTermCicContent.ml where

[helm.git] / matita / components / content_pres / content2pres.mli

diff --git a/matita/components/content_pres/content2pres.mli b/matita/components/content_pres/content2pres.mli
index 1c5b410b265687dc3c697ccd0322053c05147c03..87843815fb54b5c8b29638e8a4a50f2d6bccce5e 100644 (file)
--- a/matita/components/content_pres/content2pres.mli
+++ b/matita/components/content_pres/content2pres.mli
@@ -35,6 +35,6 @@
 val ncontent2pres:
  #TermContentPres.status ->
   ?skip_initial_lambdas:int -> ?skip_thm_and_qed:bool ->
-  ids_to_nrefs:(NTermCicContent.id, NReference.reference) Hashtbl.t ->
+  ids_to_nrefs:(Interpretations.id, NReference.reference) Hashtbl.t ->
   NotationPt.term Content.cobj ->
     CicNotationPres.boxml_markup