Adding a new Listener utility class. Changing the ResourceManager to use Listeners for reporting hard and soft resource out() events.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 630825103..9767ac7c7 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -24,7 +24,6 @@
 #include "base/output.h"
 #include "decision/decision_engine.h"
 #include "expr/expr.h"
-#include "expr/resource_manager.h"
 #include "options/base_options.h"
 #include "options/decision_options.h"
 #include "options/main_options.h"
@@ -40,6 +39,7 @@
 #include "smt_util/command.h"
 #include "theory/theory_engine.h"
 #include "theory/theory_registrar.h"
+#include "util/resource_manager.h"
 #include "util/result.h"
 
 using namespace std;