Merge pull request #149 from coq-community/stdlib_repo

palmskog · web-flow · commit 1dde529e0d33 · 2025-02-19T19:02:59.000+01:00
Adapt to rocq-prover/rocq#19530
diff --git 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 *)
 
