diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-19 11:30:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-19 09:30:04 +0000 |
| commit | a06ec9eb224c437523f3bff0ac6f6437d924f36a (patch) | |
| tree | 8701141bddf60efe6305f1d1f02fd42ffaeec2d6 /src/theory/quantifiers/theory_quantifiers.h | |
| parent | 353006984c0c7bbd1bd419c04e4bb873c7eee52a (diff) | |
Remove linking against gmp and cln in tests and parser (#6376)
Finally, we no longer need to link against GMP and CLN for the parser and the tests.
To actually achieve this, this PR also removes some dead code and unused includes from some parser files.
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.h')
0 files changed, 0 insertions, 0 deletions