diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2020-02-25 08:30:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-25 08:30:04 +0100 |
| commit | dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741 (patch) | |
| tree | cea80ba12ed6d94e84de6e288171bf25a287d0e4 /USE.md | |
| parent | 82fd19bc1c16782649c741548edb0649522ff900 (diff) | |
| download | smtcoq-dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.tar.gz smtcoq-dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.zip | |
Search correctly for `num` library (#60)
We fix the way SMTCoq searches for the num library, both when building
and when generating .merlin.
Diffstat (limited to 'USE.md')
0 files changed, 0 insertions, 0 deletions