fix typo in constructor name

matter-labs · Nov 15, 2023 · 44b602c · 44b602c
1 parent 6d03036
commit 44b602c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/encoding/EncodingUtils.v b/src/encoding/EncodingUtils.v
@@ -63,7 +63,7 @@ Definition encode_dst_mode (sm:dst_mode) : Z :=
   | DstReg => 0
   | DstSpRelativePush => 1
   | DstSpRelative => 2
-  | DstSpAbsolute => 3
+  | DstStackAbsolute => 3
   end
 .