From cec4ef252a9a705460afc8d2541af54c0637d577 Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Fri, 20 Dec 2024 15:56:11 +0100
Subject: [PATCH] Fixed improper STA usage

---
 src/SM.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/SM.ml b/src/SM.ml
index d43ea9b67..1784ffa91 100644
--- a/src/SM.ml
+++ b/src/SM.ml
@@ -1501,8 +1501,7 @@ let compile cmd ((imports, _), p) =
         add_code
           (compile_list false lassn env [ x; e ])
           lassn false
-          [ (match x with Expr.Ref _ -> STI | _ -> STA) ]
-        (*Expr.ElemRef _ -> STA | _ -> STI]*)
+          [ (match x with Expr.ElemRef _ -> STA | _ -> STI) ]
     | Expr.Skip -> (env, false, [])
     | Expr.Seq (s1, s2) -> compile_list tail l env [ s1; s2 ]
     | Expr.If (c, s1, s2) ->