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/parser/parser.cpp b/src/parser/parser.cpp
index 120f63987..adbeaabd3 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -28,13 +28,13 @@
 #include "expr/expr.h"
 #include "expr/expr_iomanip.h"
 #include "expr/kind.h"
-#include "expr/resource_manager.h"
 #include "expr/type.h"
 #include "options/options.h"
 #include "options/smt_options.h"
 #include "parser/input.h"
 #include "parser/parser_exception.h"
 #include "smt_util/command.h"
+#include "util/resource_manager.h"
 
 using namespace std;
 using namespace CVC4::kind;