diff options
Diffstat (limited to 'plugins/setoid_ring/InitialRing.v')
| -rw-r--r-- | plugins/setoid_ring/InitialRing.v | 2 |
1 files changed, 1 insertions, 1 deletions
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 |