diff --git a/hub/constraints/instruction-handling/copy/codecopy.lisp b/hub/constraints/instruction-handling/copy/codecopy.lisp index 755451c7..91ac1548 100644 --- a/hub/constraints/instruction-handling/copy/codecopy.lisp +++ b/hub/constraints/instruction-handling/copy/codecopy.lisp @@ -45,6 +45,6 @@ (begin (eq! (shift account/DEPLOYMENT_NUMBER ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) (shift context/BYTE_CODE_DEPLOYMENT_NUMBER ROFF_CODECOPY_NO_XAHOY_CONTEXT_ROW)) (eq! (shift account/DEPLOYMENT_STATUS ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) (shift context/BYTE_CODE_DEPLOYMENT_STATUS ROFF_CODECOPY_NO_XAHOY_CONTEXT_ROW)) - (eq! (shift account/DEPLOYMENT_STATUS ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) (shift context/BYTE_CODE_CODE_FRAGMENT_INDEX ROFF_CODECOPY_NO_XAHOY_CONTEXT_ROW)) + (eq! (shift account/CODE_FRAGMENT_INDEX ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) (shift context/BYTE_CODE_CODE_FRAGMENT_INDEX ROFF_CODECOPY_NO_XAHOY_CONTEXT_ROW)) (eq! (shift account/CODE_FRAGMENT_INDEX ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) CODE_FRAGMENT_INDEX) (debug (eq! (shift account/ROMLEX_FLAG ROFF_CODECOPY_NO_XAHOY_ACCOUNT_ROW) 1))))