1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Sets.v b/lib/Sets.v
index bfc49b11..0a809fcd 100644
--- a/lib/Sets.v
+++ b/lib/Sets.v
@@ -9,7 +9,6 @@
   implementation of sets.
 *)
 
-Require Import Relations.
 Require Import Coqlib.
 Require Import Maps.
 Require Import Lattice.