fix syntax according to new versions of Gobra#419

jcp19 merged 1 commit into

masterviperproject/VerifiedSCION:masterfrom

fix-syntax-updatesviperproject/VerifiedSCION:fix-syntax-updatesCopy head branch name to clipboard