HomeIsabelle/Phabricator

Fix incorrect argument when printing byte code assembly code.