X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2Fcontent2Procedural.mli;h=938d4dd6b1f1a0c4ccf30f71369d317182b8f9bf;hb=6968ba1ad67ba19e9d794260dc21ba2246d31dac;hp=06123000e21755132aaf2849a1213ee478496e60;hpb=e9b482856904b32a5c92eee8bcd860ffe74fa74f;p=helm.git

diff --git a/components/content_pres/content2Procedural.mli b/components/content_pres/content2Procedural.mli
index 06123000e..938d4dd6b 100644
--- a/components/content_pres/content2Procedural.mli
+++ b/components/content_pres/content2Procedural.mli
@@ -26,7 +26,7 @@
 val content2procedural:
    ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t -> string ->
    Cic.annterm Content.cobj ->
-      (CicNotationPt.term, CicNotationPt.term,
-       CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
+      (Cic.annterm, Cic.annterm,
+       Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list