X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralHelpers.mli;h=c021c7c69e8a768d09cc44c9c4524bb9001b5e92;hb=b91d9e60b0a5f450d2725d4b9bb3ed7f81ef6d3a;hp=03faf269bf136490099d05936b3ac24963b9d05d;hpb=cdd3fc617825db73ce08a0cb700e2a8e115b4fb3;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralHelpers.mli b/helm/software/components/acic_procedural/proceduralHelpers.mli
index 03faf269b..c021c7c69 100644
--- a/helm/software/components/acic_procedural/proceduralHelpers.mli
+++ b/helm/software/components/acic_procedural/proceduralHelpers.mli
@@ -99,5 +99,5 @@ val is_acic_proof:
    (Cic.id, Cic2acic.sort_kind) Hashtbl.t -> Cic.context -> Cic.annterm ->
    bool
 
-val alpha_equivalence:
+val alpha:
    ?flatten:bool -> Cic.context -> Cic.term -> Cic.term -> bool