X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2Facic2Procedural.mli;h=d1ff6a0c20e18695ed4b5b504e96fde40a85888f;hb=2e3e85acace6942eebcfac570ce6b33134d1a3dd;hp=50fb60898b6c3560ebaf70f620db044e3cbae624;hpb=5cd2bfac5e47232f9e1a8f6189bcc49a3e73007f;p=helm.git

diff --git a/components/content_pres/acic2Procedural.mli b/components/content_pres/acic2Procedural.mli
index 50fb60898..d1ff6a0c2 100644
--- a/components/content_pres/acic2Procedural.mli
+++ b/components/content_pres/acic2Procedural.mli
@@ -26,7 +26,7 @@
 val acic2procedural:
    ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
    ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t -> 
-   string -> Cic.annobj ->
+   ?depth:int -> string -> Cic.annobj ->
       (Cic.annterm, Cic.annterm,
        Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list