diff options
author | ckeller <ckeller@users.noreply.github.com> | 2021-05-25 17:18:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-25 17:18:15 +0200 |
commit | c827acdbf2814bc13495ab1599af9dfe85e32fbb (patch) | |
tree | 5115b5d2abeb5e7a3eaa6e45de82995dae37a18a /src/versions/native/Makefile | |
parent | cfadb667ba2c9904ff0d94bf186cf9f89e370515 (diff) | |
download | smtcoq-c827acdbf2814bc13495ab1599af9dfe85e32fbb.tar.gz smtcoq-c827acdbf2814bc13495ab1599af9dfe85e32fbb.zip |
CompDec clean-up (#93)
Clean-up the definition of CompDec, leaving the required minimum (in particular for functional arrays)
Diffstat (limited to 'src/versions/native/Makefile')
0 files changed, 0 insertions, 0 deletions