From ea541ff84e545a797af4ce4c3c830bd2b0c5aaa1 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Sat, 20 Jul 2024 16:51:05 +0200 Subject: [PATCH] Adapt to https://github.com/coq/coq/pull/19530 --- theories/Instances.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theories/Instances.v b/theories/Instances.v index b199351..10726be 100644 --- a/theories/Instances.v +++ b/theories/Instances.v @@ -289,7 +289,7 @@ Module Bool. End Bool. Module Relations. - Import Relations.Relations. + Import Relations. (** ** Relation instances *)