From 0190372dd85d748271b4296cfbcffdbe63e497d4 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Tue, 26 Oct 2021 21:56:13 +0200
Subject: [PATCH] relations.v: Drop stale require

---
 theories/relations.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/relations.v b/theories/relations.v
index 5019e3f8..f6093bc9 100644
--- a/theories/relations.v
+++ b/theories/relations.v
@@ -1,7 +1,6 @@
 (** This file collects definitions and theorems on abstract rewriting systems.
 These are particularly useful as we define the operational semantics as a
 small step semantics. *)
-From Coq Require Import Wf_nat.
 From stdpp Require Export sets.
 From stdpp Require Import options.
 
-- 
GitLab