typo
Merge pull request #13 from ggreif/patch-1

ivory-examples: fix typo in concrete syntax example