X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2Fprocedural2.mli;h=7abfb6f1ce3c939fd09e9c49cd9d65fd7e12dfb8;hb=HEAD;hp=71cbe4253d0c0cdc053ba982111ed831d8163168;hpb=d3548c16f481b14ce94e64c790bc767c59590050;p=helm.git

diff --git a/helm/software/components/acic_procedural/procedural2.mli b/helm/software/components/acic_procedural/procedural2.mli
index 71cbe4253..7abfb6f1c 100644
--- a/helm/software/components/acic_procedural/procedural2.mli
+++ b/helm/software/components/acic_procedural/procedural2.mli
@@ -33,7 +33,4 @@ val init:
 val proc_proof: 
    status -> Cic.annterm -> ProceduralTypes.step list
 
-val proc_obj: 
-   ?info:string -> status -> Cic.annobj -> ProceduralTypes.step list
-
 val debug: bool ref