diff options
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index 84dd4be0c..b993b08fb 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -135,8 +135,6 @@ inline std::ostream& operator<<(std::ostream& out, SymbolType type) { class CVC4_PUBLIC Parser { friend class ParserBuilder; private: - /** The resource manager associated with this expr manager */ - ResourceManager* d_resourceManager; /** The input that we're parsing. */ Input* d_input; |