From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 Nov 2007 09:27:14 +0000 (+0000)
Subject: "f" => "aux" to avoid name clashes
X-Git-Tag: 0.4.95@7852~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=919ed4004380ac55a978841b0a5c42ad61c45a8f

"f" => "aux" to avoid name clashes
---

diff --git a/components/library/cicElim.ml b/components/library/cicElim.ml
index f919d2875..c994a9c53 100644
--- a/components/library/cicElim.ml
+++ b/components/library/cicElim.ml
@@ -357,7 +357,7 @@ let elim_of ~sort uri typeno =
             in
             (* rightno is the decreasing argument, i.e. the argument of
              * inductive type *)
-            Cic.Fix (0, ["f", rightno, final_ty, fixfun])
+            Cic.Fix (0, ["aux", rightno, final_ty, fixfun])
           else
             add_right_lambda dependent leftno (conslen + 1) 1 rightno indty
               mutcase ty