diff options
| -rw-r--r-- | theories/Setoids/Setoid.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/theories/Setoids/Setoid.v b/theories/Setoids/Setoid.v index 0807f93b99..8a5a9892a2 100644 --- a/theories/Setoids/Setoid.v +++ b/theories/Setoids/Setoid.v @@ -8,8 +8,6 @@ (*i $Id$: i*) -Require Export Setoid_replace. - Section Setoid. Variable A : Type. |