X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FcicUtil.ml;h=d26d422d526318b3efedb7786ea0e7e2bc90ca62;hb=9655a931c73be820d876da7b23fe54b55fd60c14;hp=22dcb298cdb929160f3b8f14e5ba5d3bbf36359c;hpb=f8791fd4e018c691d1b22a4fe748bc57f79f1b89;p=helm.git

diff --git a/components/cic/cicUtil.ml b/components/cic/cicUtil.ml
index 22dcb298c..d26d422d5 100644
--- a/components/cic/cicUtil.ml
+++ b/components/cic/cicUtil.ml
@@ -541,7 +541,7 @@ let alpha_equivalence =
      | C.Implicit a, C.Implicit a' -> a = a'
    we insert an unused variable below to genarate a warning at compile time
 *)     
-     | _,_ -> let fix_alpha_equivalence_please = 0 in false (* we already know that t != t' *)
+     | _,_ -> false (* we already know that t != t' *)
   and aux_exp_named_subst exp_named_subst1 exp_named_subst2 =
    try
      List.fold_left2