make Bitwidth instances #[export] instead of #[global]

SkySkimmer · Nov 20, 2023 · 4b3074b · 4b3074b
1 parent d099771
commit 4b3074b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/coqutil/Word/Bitwidth32.v b/src/coqutil/Word/Bitwidth32.v
@@ -1,6 +1,6 @@
 Require Import Coq.ZArith.ZArith.
 Require Export coqutil.Word.Bitwidth.
 
-#[global] Instance BW32: Bitwidth 32 := {
+#[export] Instance BW32: Bitwidth 32 := {
   width_cases := or_introl eq_refl
 }.
diff --git a/src/coqutil/Word/Bitwidth64.v b/src/coqutil/Word/Bitwidth64.v
@@ -1,6 +1,6 @@
 Require Import Coq.ZArith.ZArith.
 Require Export coqutil.Word.Bitwidth.
 
-#[global] Instance BW64: Bitwidth 64 := {
+#[export] Instance BW64: Bitwidth 64 := {
   width_cases := or_intror eq_refl
 }.