fixed annotations on assembly output for assembly-checker#1357

Merged

JasonGross merged 2 commits intomit-plv:masterfrom OwenConoly:annotation_fix

Aug 19, 2022

+19-12

Commits on Aug 6, 2022

fixed assembly annotation bug
OwenConoly
committed

Commits on Aug 18, 2022

included line numbers in assembly parsing errors. changed type of line number from nat to N.
OwenConoly
committed