Merge pull request #39 from rocq-community/stdlib154

proux01 · web-flow · commit c3546102f242 · 2025-06-16T10:13:55.000+02:00
Adapt to rocq-prover/stdlib#154
diff --git a/src/Lean.v b/src/Lean.v
@@ -1,4 +1,4 @@
-From Stdlib Require ZArith Lia ZifyBool Uint63.
+From Stdlib Require ZArith NArith Lia ZifyBool Uint63.
 Declare ML Module "coq-lean-import.plugin".
 
 Set Universe Polymorphism.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-From Stdlib Require ZArith Lia ZifyBool Uint63.`
	`1`	`+From Stdlib Require ZArith NArith Lia ZifyBool Uint63.`
`2`	`2`	`Declare ML Module "coq-lean-import.plugin".`
`3`	`3`
`4`	`4`	`Set Universe Polymorphism.`