Adapt to rocq-prover/rocq#21851

proux01 · proux01 · commit f0cc9038fd35 · 2026-03-31T16:43:45.000+02:00
diff --git a/tests/output/NumbersSyntax.v b/tests/output/NumbersSyntax.v
@@ -1,4 +1,4 @@
-Require Import ZArith.
+From Stdlib Require Import ZArith.
 Require Import Bignums.BigQ.BigQ.
 
 Open Scope bigN_scope.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Require Import ZArith.`
	`1`	`+From Stdlib Require Import ZArith.`
`2`	`2`	`Require Import Bignums.BigQ.BigQ.`
`3`	`3`
`4`	`4`	`Open Scope bigN_scope.`