From 95bd260f9bcfd158941fa018fceabc917a77ac96 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 Nov 2007 09:27:14 +0000 Subject: [PATCH] "f" => "aux" to avoid name clashes --- helm/software/components/library/cicElim.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/library/cicElim.ml b/helm/software/components/library/cicElim.ml index f919d2875..c994a9c53 100644 --- a/helm/software/components/library/cicElim.ml +++ b/helm/software/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 -- 2.39.2