diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-09-02 11:21:56 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-02 18:21:56 +0000 |
| commit | b88b3cb5d93e4a2639d4ad647389953656e4c9ea (patch) | |
| tree | 56689a5eb6aebd665f77d2f4ae9875d3a81a3701 /test | |
| parent | 522fd010b5a64574040c6e4d2a479fa0d8b569d2 (diff) | |
Driver & Options cleanup (#7109)
This PR does some cleanup in the driver and the options. It removes the now obsolete public attribute that allowed using the options in the driver, and removes a bunch of includes from the driver that are no longer necessary.
Diffstat (limited to 'test')
| -rw-r--r-- | test/api/smt2_compliance.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 888f722a7..d7ce1bfc1 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -18,9 +18,7 @@ #include <sstream> #include "api/cpp/cvc5.h" -#include "options/base_options.h" #include "options/options.h" -#include "options/options_public.h" #include "options/set_language.h" #include "parser/parser.h" #include "parser/parser_builder.h" |