diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-03-20 17:09:44 -0400 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-03-20 17:09:44 -0400 |
| commit | dc51191d484348bf827f91fd4ee5dd088fd5e17b (patch) | |
| tree | efcec532cdb798e77841bd9503493109ff9892c6 /src/ModularArithmetic/ExtendedBaseVector.v | |
| parent | 2f178e16ab2e44b6139ef01dca17f425f02bb319 (diff) | |
made BaseVector instance global
Diffstat (limited to 'src/ModularArithmetic/ExtendedBaseVector.v')
| -rw-r--r-- | src/ModularArithmetic/ExtendedBaseVector.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ModularArithmetic/ExtendedBaseVector.v b/src/ModularArithmetic/ExtendedBaseVector.v index 746791d8d..2e65df9bd 100644 --- a/src/ModularArithmetic/ExtendedBaseVector.v +++ b/src/ModularArithmetic/ExtendedBaseVector.v @@ -9,7 +9,6 @@ Local Open Scope Z_scope. Section ExtendedBaseVector. Context `{prm : PseudoMersenneBaseParams}. - Existing Instance bv. (* This section defines a new BaseVector that has double the length of the BaseVector * used to construct [params]. The coefficients of the new vector are as follows: |