Picky change to example justification in the spec#13

garethr wants to merge 1 commit intoopenvex:mainopenvex/spec:mainfrom

garethr:patch-1garethr/openvex-spec:patch-1Copy head branch name to clipboard