fix: use correct guard for two-step reverts

Consensys · Dec 6, 2024 · eff06e7 · eff06e7
1 parent ba3e726
commit eff06e7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp b/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp
@@ -20,7 +20,7 @@
 
 (defun    (create-instruction---two-step-reverting-precondition)    (*    PEEK_AT_SCENARIO    scenario/CREATE_NONEMPTY_INIT_CODE_FAILURE_WILL_REVERT))
 
-(defconstraint    create-instruction---undoing-creator-account-operations-failure-will-revert-case    (:guard    (create-instruction---one-step-reverting-precondition))
+(defconstraint    create-instruction---undoing-creator-account-operations-failure-will-revert-case    (:guard    (create-instruction---two-step-reverting-precondition))
                   (begin
                     (account-same-address-as                         CREATE_third_creator_account_row___row_offset    CREATE_first_creator_account_row___row_offset)
                     (account-same-balance                            CREATE_third_creator_account_row___row_offset)
@@ -35,7 +35,7 @@
                     (DOM-SUB-stamps---revert-with-current            CREATE_third_creator_account_row___row_offset    2)
                     ))
 
-(defconstraint    create-instruction---undoing-createe-account-operations-failure-will-revert-case    (:guard    (create-instruction---one-step-reverting-precondition))
+(defconstraint    create-instruction---undoing-createe-account-operations-failure-will-revert-case    (:guard    (create-instruction---two-step-reverting-precondition))
                   (begin
                     (account-same-address-as                         CREATE_third_createe_account_row___row_offset    CREATE_first_createe_account_row___row_offset)
                     (account-same-balance                            CREATE_third_createe_account_row___row_offset)