Merge pull request #41 from coq-community/fix-npeano-deprec

remove use of deprecated NPeano module
coq-community · Nov 4, 2023 · 39de8e4 · 39de8e4
2 parents 861e53b + 1746dc0
commit 39de8e4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/theories/Model_MinPlus.v b/theories/Model_MinPlus.v
@@ -15,7 +15,6 @@
 
 From ATBR Require Import Common.
 From ATBR Require Import Classes.
-From Coq Require Import NPeano.
 From ATBR Require Converse.
 
 Set Implicit Arguments.
@@ -136,4 +135,3 @@ Module Load.
             change mp_empty with (@zero mp_Graph mp_SemiLattice_Ops tt tt).
 
 End Load.
-