diff options
Diffstat (limited to 'src/Assembly/Vectorize.v')
| -rw-r--r-- | src/Assembly/Vectorize.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Assembly/Vectorize.v b/src/Assembly/Vectorize.v index 71d4d573d..f8139bf92 100644 --- a/src/Assembly/Vectorize.v +++ b/src/Assembly/Vectorize.v @@ -1,4 +1,3 @@ - Require Export Bedrock.Word Bedrock.Nomega. Require Import NPeano NArith PArith Ndigits Compare_dec Arith. Require Import ProofIrrelevance Ring List. |