X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcontent_pres%2Fcontent2Procedural.mli;h=938d4dd6b1f1a0c4ccf30f71369d317182b8f9bf;hb=6bb370c6e1a036e82315765d6dceb1939c30ed23;hp=14cf247dd21710ebb89227b063506a6f461f23a4;hpb=06e2976ca4ef6bdfe14beba14ba538a2479c51a8;p=helm.git

diff --git a/components/content_pres/content2Procedural.mli b/components/content_pres/content2Procedural.mli
index 14cf247dd..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.obj, string)
+      (Cic.annterm, Cic.annterm,
+       Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list