No stdlib import name, use Coq

miriampolzer · miriampolzer · commit 51eb3dd25750 · 2026-05-12T15:16:10.000+02:00
diff --git a/src/Bedrock/P256/RecodeSpecs.v b/src/Bedrock/P256/RecodeSpecs.v
@@ -1,4 +1,4 @@
-From Stdlib Require Import
+From Coq Require Import
   BinInt
   String
   Lists.List.
diff --git a/src/Bedrock/P256/Scalarmult.v b/src/Bedrock/P256/Scalarmult.v
@@ -1,4 +1,4 @@
-From Stdlib Require Import
+From Coq Require Import
   BinInt
   BinNat
   Lists.List
