diff options
Diffstat (limited to 'src/ModularArithmetic/ModularBaseSystemList.v')
| -rw-r--r-- | src/ModularArithmetic/ModularBaseSystemList.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ModularArithmetic/ModularBaseSystemList.v b/src/ModularArithmetic/ModularBaseSystemList.v index c556427b9..f8d78a438 100644 --- a/src/ModularArithmetic/ModularBaseSystemList.v +++ b/src/ModularArithmetic/ModularBaseSystemList.v @@ -16,7 +16,7 @@ Section Defs. Local Notation base := (base_from_limb_widths limb_widths). Local Notation "u [ i ]" := (nth_default 0 u i). - Definition decode (us : digits) : F modulus := ZToField (BaseSystem.decode base us). + Definition decode (us : digits) : F modulus := ZToField _ (BaseSystem.decode base us). Definition encode (x : F modulus) := encodeZ limb_widths x. |