From 65c8d91cd4c11b8de44f0b23cd44a3303cd54d4e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 27 Oct 2014 07:21:09 +0100
Subject: Fix some typos in comments.

---
 plugins/setoid_ring/InitialRing.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/setoid_ring/InitialRing.v')

diff --git a/plugins/setoid_ring/InitialRing.v b/plugins/setoid_ring/InitialRing.v
index 07f49cc4ff..9010917fec 100644
--- a/plugins/setoid_ring/InitialRing.v
+++ b/plugins/setoid_ring/InitialRing.v
@@ -815,7 +815,7 @@ Ltac ring_elements set ext rspec pspec sspec dspec rk :=
                   fun f => f arth ext_r morph lemma1 lemma2
                 | _ => fail 4 "ring: bad sign specification"
                 end
-             | _ => fail 3 "ring: bad coefficiant division specification"
+             | _ => fail 3 "ring: bad coefficient division specification"
              end
           | _ => fail 2 "ring: bad power specification"
           end
-- 
cgit v1.2.3