fix: of the fix

Consensys · Dec 15, 2024 · 9f4cc9a · 9f4cc9a
1 parent 75201c1
commit 9f4cc9a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/hub/constraints/instruction-handling/acc.lisp b/hub/constraints/instruction-handling/acc.lisp
@@ -164,8 +164,9 @@
                  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
                  (if-not-zero   (account-instruction---touches-foreign-account)
                                 (if-not-zero    XAHOY
-                                                (account-turn-on-warmth   ROFF_ACC___ACCOUNT_DOING_ROW)
-                                                (account-same-warmth      ROFF_ACC___ACCOUNT_DOING_ROW))))
+                                                (account-same-warmth      ROFF_ACC___ACCOUNT_DOING_ROW) ;; XAHOY ≡ 1
+                                                (account-turn-on-warmth   ROFF_ACC___ACCOUNT_DOING_ROW) ;; XAHOY ≡ 0
+                                                )))
 
 
 (defconstraint   account-instruction---foreign-address-opcode---undoing-account-row