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 0807f93b9..8a5a9892a 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. |