From fc954b961d2ec51e9ec24417b63e4247f93424a3 Mon Sep 17 00:00:00 2001
From: nlewycky
Date: Mon, 8 Apr 2019 14:47:01 -0700
Subject: Fix spelling in comment.

Fix spelling (French fonction --> English function).---
 theories/Arith/PeanoNat.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Arith/PeanoNat.v b/theories/Arith/PeanoNat.v
index bc58995fd6..c46c23ad60 100644
--- a/theories/Arith/PeanoNat.v
+++ b/theories/Arith/PeanoNat.v
@@ -52,7 +52,7 @@ Proof.
 intros A A_wd A0 AS. apply nat_ind. assumption. intros; now apply -> AS.
 Qed.
 
-(** Recursion fonction *)
+(** Recursion function *)
 
 Definition recursion {A} : A -> (nat -> A -> A) -> nat -> A :=
   nat_rect (fun _ => A).
-- 
cgit v1.2.3