From 160ecc8be8cdb79994a4c150927b2f4b1d164923 Mon Sep 17 00:00:00 2001
From: dbenn <dbenn@computer.org>
Date: Sat, 13 Mar 2021 14:39:37 +1030
Subject: [PATCH] [coq/en] remove extra "prove" from comment

Line 475 has an extra "prove" in a comment so removed it
---
 coq.html.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq.html.markdown b/coq.html.markdown
index 4c1ad690..bbc613ce 100644
--- a/coq.html.markdown
+++ b/coq.html.markdown
@@ -472,7 +472,7 @@ Proof.
   intros A B ab.  destruct ab as [ a b ]. apply a.
 Qed.
 
-(* We can prove easily prove simple polynomial equalities using the
+(* We can easily prove simple polynomial equalities using the
    automated tactic ring. *)
 
 Require Import Ring.