we parametrized CicNotationPt.obj on 'term

[helm.git] / components / content_pres / content2Procedural.mli

diff --git a/components/content_pres/content2Procedural.mli b/components/content_pres/content2Procedural.mli
index 14cf247dd21710ebb89227b063506a6f461f23a4..06123000e21755132aaf2849a1213ee478496e60 100644 (file)
--- a/components/content_pres/content2Procedural.mli
+++ b/components/content_pres/content2Procedural.mli
@@ -27,6 +27,6 @@ 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)
+       CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
       GrafiteAst.statement list