X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_unification%2FcicUnification.mli;h=e1a6c2899e446026f352c91b33ad4e6c53f13f73;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=5d0b34e28c1c3c8da76d11e2978ef5304ac19dd5;hpb=801f0eb3eabe1cbcd66d6a3f52c24eb8f1189611;p=helm.git

diff --git a/components/cic_unification/cicUnification.mli b/components/cic_unification/cicUnification.mli
index 5d0b34e28..e1a6c2899 100644
--- a/components/cic_unification/cicUnification.mli
+++ b/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