fix (#1860)

Co-authored-by: Alix Trieu <alix@trieu.dev>
mit-plv · Apr 12, 2024 · 3d91646 · 3d91646
1 parent 87a972c
commit 3d91646
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Bedrock/Field/Synthesis/New/WordByWordMontgomery.v b/src/Bedrock/Field/Synthesis/New/WordByWordMontgomery.v
@@ -767,9 +767,9 @@ Definition field_parameters_prefixed
     (prefix ++ "inv")
     (prefix ++ "from_bytes")
     (prefix ++ "to_bytes")
-    (prefix ++ "felem_copy")
-    (prefix ++ "small_literal")
     (prefix ++ "select_znz")
+    (prefix ++ "felem_copy")
+    (prefix ++ "from_word")
 .