diff options
Diffstat (limited to 'src/versions/standard/Int63/Int63Op_standard.v')
-rw-r--r-- | src/versions/standard/Int63/Int63Op_standard.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/versions/standard/Int63/Int63Op_standard.v b/src/versions/standard/Int63/Int63Op_standard.v index 85ea0c7..8f78691 100644 --- a/src/versions/standard/Int63/Int63Op_standard.v +++ b/src/versions/standard/Int63/Int63Op_standard.v @@ -12,7 +12,7 @@ Require Import Int31 Cyclic31. Require Export Int63Native. -Require Import BigNumPrelude. +(* Require Import BigNumPrelude. *) Require Import Bvector. |