Merge pull request #37 from coq-community/stdlib_repo

Adapt to coq/coq#19530
coq-community · Sep 17, 2024 · 50dfe57 · 50dfe57
2 parents 7c66f3b + 793d43b
commit 50dfe57
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/theories/Autosubst_Basics.v b/theories/Autosubst_Basics.v
@@ -4,8 +4,8 @@
   substitutions.
 *)
 
-Require Import Coq.Program.Tactics.
-Require Import Coq.Arith.PeanoNat List FunctionalExtensionality.
+From Coq.Program Require Import Tactics.
+From Coq Require Import PeanoNat List FunctionalExtensionality.
 
 (** Annotate "a" with additional information. *)
 Definition annot {A B} (a : A) (b : B) : A := a.