summaryrefslogtreecommitdiff
path: root/src/preprocessing/passes/miplib_trick.cpp
diff options
context:
space:
mode:
authorGereon Kremer <nafur42@gmail.com>2021-06-15 22:30:19 +0200
committerGitHub <noreply@github.com>2021-06-15 20:30:19 +0000
commit6bae871954c48993009ed91d4b907c136017ed38 (patch)
tree1e392bddc867fec68125525329123652a22b8217 /src/preprocessing/passes/miplib_trick.cpp
parent09e438c6e6d10e0ad1e7c3e3de39ed4eb1d48ee1 (diff)
Remove public option wrappers (#6716)
This PR gets rid of almost all remaining public option wrappers. It does so by - making base, main and parser options public such that they can directly be used from the driver and the parser - moving incremental and the resource limiting options to base - moving dumping options to main After this PR, the only option wrapper left is becoming obsolete as well after (the follow-up of) #6697.
Diffstat (limited to 'src/preprocessing/passes/miplib_trick.cpp')
-rw-r--r--src/preprocessing/passes/miplib_trick.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/miplib_trick.cpp b/src/preprocessing/passes/miplib_trick.cpp
index 79fcc4028..a5720e758 100644
--- a/src/preprocessing/passes/miplib_trick.cpp
+++ b/src/preprocessing/passes/miplib_trick.cpp
@@ -22,7 +22,7 @@
#include "expr/node_self_iterator.h"
#include "expr/skolem_manager.h"
#include "options/arith_options.h"
-#include "options/smt_options.h"
+#include "options/base_options.h"
#include "preprocessing/assertion_pipeline.h"
#include "preprocessing/preprocessing_pass_context.h"
#include "smt/smt_statistics_registry.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback