proof(luminary099): fix typos page 1299

This commit is contained in:
Taís Massaro 2021-10-18 17:36:31 +00:00 committed by GitHub
parent f0efccf75a
commit 2ad3bdf3fc

View File

@ -256,7 +256,7 @@ ONEORTWO LXCH TEMPBBCN
MASK OCT14000 # SEE WHAT KIND OF PHASE CHANGE IT IS MASK OCT14000 # SEE WHAT KIND OF PHASE CHANGE IT IS
CCS A CCS A
TCF CHECKB # IT IS OF TYPE `B'. TCF CHECKB # IT IS OF TYPE :B:
CA TEMPP CA TEMPP
MASK BIT7 MASK BIT7
@ -275,7 +275,7 @@ CON1 CA TEMPP # SEE IF A 2CADR IS GIVEN
CA Q CA Q
TS TEMPNM TS TEMPNM
CA BB CA BB
EXTEND # PICK UP USER'S SUPERBANK EXTEND # PICK UP USERS SUPERBANK
ROR SUPERBNK ROR SUPERBNK
TS TEMPBB TS TEMPBB
@ -285,7 +285,7 @@ TOCON2 CA CON2ADR # BACK TO SWITCHED BANK
CON2ADR GENADR CON2 CON2ADR GENADR CON2
GETPRIO NDX Q # DON'T CARE IF DIRECT OR INDIRECT GETPRIO NDX Q # DON:T CARE IF DIRECT OR INDIRECT
CA 0 # LEAVE THAT DECISION TO RESTARTS CA 0 # LEAVE THAT DECISION TO RESTARTS
INCR Q # OBTAIN RETURN ADDRESS INCR Q # OBTAIN RETURN ADDRESS
# Page 1300 # Page 1300