Fixing two issues with the pretty printing of operators that are not applied to arguments#929

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

op-pretty-printing-fixesEasyCrypt/easycrypt:op-pretty-printing-fixesCopy head branch name to clipboard