X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2Fprocedural2.mli;h=7abfb6f1ce3c939fd09e9c49cd9d65fd7e12dfb8;hb=72cd94b68037956a70b98cfa54f316fd54e52bae;hp=708e698df708e984084e70beb9dd9b59ff7141d3;hpb=916c558005ed665c62699a7a4c5347870c8a3efb;p=helm.git

diff --git a/helm/software/components/acic_procedural/procedural2.mli b/helm/software/components/acic_procedural/procedural2.mli
index 708e698df..7abfb6f1c 100644
--- a/helm/software/components/acic_procedural/procedural2.mli
+++ b/helm/software/components/acic_procedural/procedural2.mli
@@ -28,14 +28,9 @@ type status
 val init:   
    ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
    ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t -> 
-   ?depth:int -> Cic.context -> status
+   GrafiteAst.inline_param list-> Cic.context -> status
 
 val proc_proof: 
-   status -> Cic.annterm ->
-   ProceduralTypes.step list
-
-val proc_obj: 
-   ?flavour:Cic.object_flavour -> ?info:string -> status ->  Cic.annobj ->
-   ProceduralTypes.step list
+   status -> Cic.annterm -> ProceduralTypes.step list
 
 val debug: bool ref