proof(luminary099): fix typos page 1301

pull/832/head
Taís Massaro 2021-10-18 17:40:28 +00:00 committed by GitHub
parent 2ad3bdf3fc
commit bd066d5857
1 changed files with 6 additions and 6 deletions

View File

@ -345,16 +345,16 @@ PHSCHNG2 LXCH TEMPBBCN
TS PHASE1 -2
BELOW1 CCS TEMPSW2 # IS IT A PHASCHNG OR A 2PHSCHNG
TCF BELOW2 # IT'S A PHASCHNG
TCF BELOW2 # IT:S A PHASCHNG
TCF +1 # IT'S A 2PHSCHNG
TCF +1 # IT:S A 2PHSCHNG
CS TEMPP2
LXCH TEMPP2
NDX TEMPG2
DXCH -PHASE1 -2
CCS TEMPSW2
NOOP # CAN'T GET HERE
NOOP # CAN:T GET HERE
TCF BELOW2
CS TIME1
@ -369,11 +369,11 @@ BELOW2 CCS TEMPSW # SEE IF WE SHOULD SET TBASE OR LONGBASE
NDX TEMPG
TS TBASE1 -2
CA TEMPSW # SHALL WE NOW SET LONGBASE
CA TEMPSW # SHALL WE NOW SET LONGBASE
AD BIT14COM
CCS A
NOOP # ***** CAN'T GET HERE *****
BIT14COM OCT 17777 # ***** CAN'T GET HERE *****
NOOP # ***** CANT GET HERE *****
BIT14COM OCT 17777 # ***** CANT GET HERE *****
TCF BELOW4 # NO WE NEED ONLY SET TBASE
BELOW3 EXTEND # SET LONGBASE