diff options
Diffstat (limited to 'contrib/ring/Setoid_ring_normalize.v')
| -rw-r--r-- | contrib/ring/Setoid_ring_normalize.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ring/Setoid_ring_normalize.v b/contrib/ring/Setoid_ring_normalize.v index 6e46c3f331..2a2ec37207 100644 --- a/contrib/ring/Setoid_ring_normalize.v +++ b/contrib/ring/Setoid_ring_normalize.v @@ -34,7 +34,7 @@ Variable Aeq : A -> A -> bool. Variable S : Setoid_Theory A Aequiv. -Add Setoid A Aequiv S. +Add Setoid A Aequiv S as Asetoid. Variable plus_morph : |