diff options
Diffstat (limited to 'src/smt/set_defaults.h')
-rw-r--r-- | src/smt/set_defaults.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/set_defaults.h b/src/smt/set_defaults.h index 6e77b488c..22e271c72 100644 --- a/src/smt/set_defaults.h +++ b/src/smt/set_defaults.h @@ -16,6 +16,7 @@ #ifndef CVC5__SMT__SET_DEFAULTS_H #define CVC5__SMT__SET_DEFAULTS_H +#include "options/options.h" #include "theory/logic_info.h" namespace cvc5 { @@ -34,7 +35,7 @@ namespace smt { * can be further refactored to modify an options object provided as an * explicit argument. */ -void setDefaults(LogicInfo& logic, bool isInternalSubsolver); +void setDefaults(LogicInfo& logic, Options& opts, bool isInternalSubsolver); } // namespace smt } // namespace cvc5 |