From d7ccf45bbb1b73006c5804bcfc18bb3f6f7c90fd Mon Sep 17 00:00:00 2001
From: Andrej Dudenhefner
Date: Tue, 23 Mar 2021 19:20:18 +0100
Subject: remove in List.v deprecated/unnecessary dependencies: Le, Gt, Minus,
 Lt, Setoid fix unexpectedly broken MSetGenTree.v add changelog entry

---
 theories/MSets/MSetGenTree.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'theories/MSets')

diff --git a/theories/MSets/MSetGenTree.v b/theories/MSets/MSetGenTree.v
index 37d20bffad..c1928fef8d 100644
--- a/theories/MSets/MSetGenTree.v
+++ b/theories/MSets/MSetGenTree.v
@@ -30,6 +30,7 @@
 *)
 
 Require Import FunInd Orders OrdersFacts MSetInterface PeanoNat.
+Require Arith. (* contains deprecated dependencies *)
 Local Open Scope list_scope.
 Local Open Scope lazy_bool_scope.
 
-- 
cgit v1.2.3