From 3d91646d5693f34b37e067d42e4721b929c05049 Mon Sep 17 00:00:00 2001
From: Alix Trieu <atrieu@users.noreply.github.com>
Date: Fri, 12 Apr 2024 21:58:02 +0200
Subject: [PATCH] fix (#1860)

Co-authored-by: Alix Trieu <alix@trieu.dev>
---
 src/Bedrock/Field/Synthesis/New/WordByWordMontgomery.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Bedrock/Field/Synthesis/New/WordByWordMontgomery.v b/src/Bedrock/Field/Synthesis/New/WordByWordMontgomery.v
index 971b9eda76..2ddae62112 100644
--- 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")
 .