Proof ALARM_AND_ABORT #564 (#682)

This commit is contained in:
Chris Smith 2020-07-08 20:39:06 -04:00 committed by GitHub
parent 5b34677f56
commit be990696b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -178,7 +178,7 @@ STRTIDLE CAF BBSERVDL
CCSHOLE INHINT CCSHOLE INHINT
CA Q CA Q
TC ABORT2 TC ABORT2
OCT21103 OCT 1103 OCT1103 OCT 1103
CURTAINS INHINT CURTAINS INHINT
CA Q CA Q
TC ALARM2 TC ALARM2
@ -221,7 +221,7 @@ BBSERVDL BBCON SERVIDLE
VARALARM INHINT VARALARM INHINT
TS L # SAVE USER'S ALARM CODE TS L # SAVE USERS ALARM CODE
CA Q # SAVE USERS Q CA Q # SAVE USERS Q
TS ALMCADR TS ALMCADR