1 files changed, 2 insertions, 2 deletions
diff --git a/src/Spec/ModularWordEncoding.v b/src/Spec/ModularWordEncoding.v
index acd2bedbd..86546a22f 100644
--- a/src/Spec/ModularWordEncoding.v
+++ b/src/Spec/ModularWordEncoding.v
@@ -18,7 +18,7 @@ Section ModularWordEncoding.
   Definition Fm_dec (x_ : word sz) : option (F m) :=
     let z := Z.of_N (wordToN (x_)) in
     if Z_lt_dec z m
-      then Some (ZToField z)
+      then Some (ZToField m z)
       else None
   .
 
@@ -37,4 +37,4 @@ Section ModularWordEncoding.
       @ModularWordEncodingPre.Fm_encoding_canonical m sz bound_check
   }.
 
-End ModularWordEncoding.
+End ModularWordEncoding.
+\ No newline at end of file