- Procedural: new flag "level=n" to control the reconstruction level (defaults to...

[helm.git] / helm / software / components / acic_procedural / procedural2.mli

diff --git a/helm/software/components/acic_procedural/procedural2.mli b/helm/software/components/acic_procedural/procedural2.mli
index 71cbe4253d0c0cdc053ba982111ed831d8163168..7abfb6f1ce3c939fd09e9c49cd9d65fd7e12dfb8 100644 (file)
--- 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