X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_procedural%2Facic2Procedural.mli;h=08e49a3439acf78e6ba72f5164fef3427b5e72e7;hb=e016b4d32f05113a882e83a9fc8319751224c975;hp=35092fb16099d1279263bf181b5b969b460b994e;hpb=f37549335368653460701cae3e3722430b59bced;p=helm.git

diff --git a/components/acic_procedural/acic2Procedural.mli b/components/acic_procedural/acic2Procedural.mli
index 35092fb16..08e49a343 100644
--- a/components/acic_procedural/acic2Procedural.mli
+++ b/components/acic_procedural/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 -> 
-   ?depth:int -> ?skip_thm_and_qed:bool -> ?skip_initial_lambdas:bool ->
+   ?depth:int -> ?skip_thm_and_qed:bool ->
      string -> Cic.annobj ->
       (Cic.annterm, Cic.annterm,
        Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)