diff options
| -rw-r--r-- | src/smt/dump_manager.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/smt/dump_manager.cpp b/src/smt/dump_manager.cpp index b8525f24e..d5fd65c4c 100644 --- a/src/smt/dump_manager.cpp +++ b/src/smt/dump_manager.cpp @@ -22,7 +22,10 @@ namespace CVC4 { namespace smt { DumpManager::DumpManager(context::UserContext* u) - : d_modelGlobalCommands(), d_modelCommands(u), d_dumpCommands() + : d_fullyInited(false), + d_modelGlobalCommands(), + d_modelCommands(u), + d_dumpCommands() { } |