Adapt to coq/coq#18164

coq-community · Oct 16, 2023 · 37522bc · 37522bc
1 parent 074ba78
commit 37522bc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/test-suite/bug3.v b/test-suite/bug3.v
@@ -1,6 +1,6 @@
 Declare ML Module "coq-paramcoq.plugin".
 
-Require Import NPeano.
+Require Import PeanoNat.
 Require Import Recdef.
 Set Implicit Arguments.
 Require Import Lia.

diff --git a/test-suite/bug4.v b/test-suite/bug4.v
@@ -1,7 +1,7 @@
 
 Declare ML Module "coq-paramcoq.plugin".
 
-Require Import NPeano.
+Require Import PeanoNat.
 Require Import PArith.
 
 Print BinPosDef.Pos.sub_mask.

diff --git a/test-suite/bug5.v b/test-suite/bug5.v
@@ -1,6 +1,6 @@
 Declare ML Module "coq-paramcoq.plugin".
 
-Require Import NPeano.
+Require Import PeanoNat.
 Require Import Recdef.
 Set Implicit Arguments.