From 44b602c29348b55c33076f401e63d231eddcca7c Mon Sep 17 00:00:00 2001
From: Igor Zhirkov <iz@matterlabs.dev>
Date: Fri, 3 Nov 2023 14:04:51 +0100
Subject: [PATCH] fix typo in constructor name

---
 src/encoding/EncodingUtils.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/encoding/EncodingUtils.v b/src/encoding/EncodingUtils.v
index c9d1c71..0f8b3fb 100644
--- 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
 .