maxipatch for support of multiple DBs.

[helm.git] / components / cic / cicUtil.ml

diff --git a/components/cic/cicUtil.ml b/components/cic/cicUtil.ml
index 22dcb298cdb929160f3b8f14e5ba5d3bbf36359c..d26d422d526318b3efedb7786ea0e7e2bc90ca62 100644 (file)
--- 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