diff options
author | ckeller <ckeller@users.noreply.github.com> | 2020-02-27 09:28:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-27 09:28:50 +0100 |
commit | c296b2d06a70f1603916a2450ce49f6c98270a39 (patch) | |
tree | 4ee9b079d4e87cadcef57aecb7c0d03f034b8ade /unit-tests | |
parent | dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741 (diff) | |
download | smtcoq-c296b2d06a70f1603916a2450ce49f6c98270a39.tar.gz smtcoq-c296b2d06a70f1603916a2450ce49f6c98270a39.zip |
Revert "Search correctly for `num` library (#60)" (#61)
This reverts commit dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions