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/ModularBaseSystem.v | |
parent | 2f178e16ab2e44b6139ef01dca17f425f02bb319 (diff) |
made BaseVector instance global
Diffstat (limited to 'src/ModularArithmetic/ModularBaseSystem.v')
-rw-r--r-- | src/ModularArithmetic/ModularBaseSystem.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ModularArithmetic/ModularBaseSystem.v b/src/ModularArithmetic/ModularBaseSystem.v index d121e9d5c..2bfcdcf0b 100644 --- a/src/ModularArithmetic/ModularBaseSystem.v +++ b/src/ModularArithmetic/ModularBaseSystem.v @@ -7,7 +7,6 @@ Local Open Scope Z_scope. Section PseudoMersenneBase. Context `{prm :PseudoMersenneBaseParams}. - Existing Instance bv. Definition decode (us : digits) : F modulus := ZToField (BaseSystem.decode base us). |