HomeIsabelle/Phabricator

Fix syntax of call instruction. Mac OS seems to be picky about it.