diff options
Diffstat (limited to 'theories/Classes/CMorphisms.v')
| -rw-r--r-- | theories/Classes/CMorphisms.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/theories/Classes/CMorphisms.v b/theories/Classes/CMorphisms.v index b1c2842f7..d36833c71 100644 --- a/theories/Classes/CMorphisms.v +++ b/theories/Classes/CMorphisms.v @@ -15,7 +15,6 @@ Require Import Coq.Program.Basics. Require Import Coq.Program.Tactics. -Require Import Setoid. Require Export Coq.Classes.CRelationClasses. Generalizable Variables A eqA B C D R RA RB RC m f x y. |