proof(luminary099): fix typos page 1302

pull/832/head
Taís Massaro 2021-10-18 17:41:49 +00:00 committed by GitHub
parent bd066d5857
commit 2dbe34768e
1 changed files with 2 additions and 4 deletions

View File

@ -415,6 +415,4 @@ CHECKB MASK BIT12 # SINCE THIS IS OF TYPE B, THIS BIT WOULD
CCS A # BE HERE IF WE ARE TO GET A NEW PRIORITY
TCF GETPRIO # IT IS, SO GET NEW PRIORITY
TCF OLDPRIO # IT ISN'T, USE THE OLD PRIORITY.
TCF OLDPRIO # IT ISN:T, USE THE OLD PRIORITY