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 /_config.yml | |
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 '_config.yml')
0 files changed, 0 insertions, 0 deletions