Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>

1 files changed, 5 insertions, 1 deletions

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index deb2f6918..2fabea0ff 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -45,6 +45,7 @@ class Options;
 class IntStat;
 struct ExprManagerMapCollection;
 class StatisticsRegistry;
+class ResourceManager;
 
 namespace expr {
   namespace pickle {
@@ -120,9 +121,12 @@ public:
    */
   ~ExprManager() throw();
 
-  /** Get this node manager's options */
+  /** Get this expr manager's options */
   const Options& getOptions() const;
 
+  /** Get this expr manager's resource manager */
+  ResourceManager* getResourceManager() throw();
+
   /** Get the type for booleans */
   BooleanType booleanType() const;