diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-04-28 21:50:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-28 19:50:23 +0000 |
| commit | 541e19463a0a5dc44dc97a494ca295aae296091e (patch) | |
| tree | 823a0959f997b44f7e96c3c320c213601fe19df9 /src/smt | |
| parent | fc0512b6d13349a91da5ac6617acebc41cbd238c (diff) | |
Refactor resource manager options (#6446)
This PR refactors how the resource manager options are used. It moves options relevant for the resource manager into its own file (making the number of smt options a bit smaller) and uses the Options object directly instead of using the old static accessors.
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 46e11af20..ef338fdfe 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -29,6 +29,7 @@ #include "options/option_exception.h" #include "options/printer_options.h" #include "options/proof_options.h" +#include "options/resource_manager_options.h" #include "options/smt_options.h" #include "options/theory_options.h" #include "printer/printer.h" |