Fix a typo in the code snippet.
Merge pull request #4 from ShankarCoverify/inline-constraint-gotcha-fix

Fix a typo in the code snippet.