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/parser/tptp/Tptp.g | |
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/parser/tptp/Tptp.g')
-rw-r--r-- | src/parser/tptp/Tptp.g | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 6877306a2..5f078cab7 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -107,8 +107,6 @@ using namespace cvc5::parser; #include "parser/antlr_input.h" #include "parser/parser.h" #include "parser/tptp/tptp.h" -#include "util/integer.h" -#include "util/rational.h" using namespace cvc5; using namespace cvc5::parser; |