diff options
Diffstat (limited to 'src/Util/FixedWordSizes.v')
-rw-r--r-- | src/Util/FixedWordSizes.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/FixedWordSizes.v b/src/Util/FixedWordSizes.v index 2befc1ef6..10a7d78ff 100644 --- a/src/Util/FixedWordSizes.v +++ b/src/Util/FixedWordSizes.v @@ -1,7 +1,7 @@ Require Import Coq.ZArith.ZArith. Require Import Coq.NArith.BinNat. Require Import Coq.Arith.Arith. -Require Import Bedrock.Word. +Require Import bbv.WordScope. Definition word32 := word 32. (* 2^5 *) Definition word64 := word 64. (* 2^6 *) |