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/smt2/smt2.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/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 49b8c37d6..e28ef955c 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -28,7 +28,6 @@ #include "parser/parse_op.h" #include "parser/parser.h" #include "theory/logic_info.h" -#include "util/abstract_value.h" namespace cvc5 { |