diff options
Diffstat (limited to 'src/smt/options_manager.h')
| -rw-r--r-- | src/smt/options_manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/options_manager.h b/src/smt/options_manager.h index 983b98b34..81b935f36 100644 --- a/src/smt/options_manager.h +++ b/src/smt/options_manager.h @@ -15,15 +15,15 @@ #ifndef CVC4__SMT__OPTIONS_MANAGER_H #define CVC4__SMT__OPTIONS_MANAGER_H -#include "options/options.h" #include "options/options_listener.h" #include "smt/managed_ostreams.h" namespace CVC4 { -class SmtEngine; class LogicInfo; +class Options; class ResourceManager; +class SmtEngine; namespace smt { |