diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-16 12:10:52 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-16 12:10:52 +0100 |
| commit | 378d660b82e409a1832b20815c3482be6e753ef8 (patch) | |
| tree | c450666c75d1f965688a993c92b9a767f658937d /unit-tests | |
| parent | 5f3e9424e42b9679214a3e3d4d333a15675e7963 (diff) | |
| download | smtcoq-378d660b82e409a1832b20815c3482be6e753ef8.tar.gz smtcoq-378d660b82e409a1832b20815c3482be6e753ef8.zip | |
Corrected the example on the webpage (fixes #56)
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions