From 3ba7ed6b1b09739385ae2ffb77a5c7ccd18b40a5 Mon Sep 17 00:00:00 2001
From: Liana Hadarean <lianah@cs.nyu.edu>
Date: Mon, 17 Nov 2014 15:26:42 -0500
Subject: Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
---
 src/expr/expr_manager_template.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/expr/expr_manager_template.h')

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;
 
-- 
cgit v1.2.3