X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FcicUnification.mli;h=e1a6c2899e446026f352c91b33ad4e6c53f13f73;hb=HEAD;hp=5d0b34e28c1c3c8da76d11e2978ef5304ac19dd5;hpb=fc4cf455977934bd737c3d6c8675ef7663a6a588;p=helm.git

diff --git a/helm/software/components/cic_unification/cicUnification.mli b/helm/software/components/cic_unification/cicUnification.mli
index 5d0b34e28..e1a6c2899 100644
--- a/helm/software/components/cic_unification/cicUnification.mli
+++ b/helm/software/components/cic_unification/cicUnification.mli
@@ -56,4 +56,3 @@ val fo_unif_subst :
     Cic.term -> Cic.term -> CicUniv.universe_graph ->
       Cic.substitution * Cic.metasenv * CicUniv.universe_graph
 
-    val unif_ty : bool ref