README.md: Fix typo in example code.

Julien LepillerThu Jan 16 05:12:43+0100 2020

47871e1

guile-z3/tests
namelast commitdate
basic.scmInitial commitThu Jan 16 02:53:35+0100 2020