1 files changed, 13 insertions, 1 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 8fab13b37..bb227f92f 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -43,8 +43,13 @@ class NodeTemplate;
 
 class Expr;
 class ExprManager;
+class SmtEngine;
 class Type;
 
+namespace smt {
+  class SmtEnginePrivate;
+}/* CVC4::smt namespace */
+
 namespace expr {
   class CVC4_PUBLIC ExprSetDepth;
   class CVC4_PUBLIC ExprPrintTypes;
@@ -383,10 +388,17 @@ protected:
    * Returns the actual internal node.
    * @return the internal node
    */
-  NodeTemplate<true> getNode() const;
+  NodeTemplate<true> getNode() const throw();
+
+  /**
+   * Returns the actual internal node as a TNode.
+   * @return the internal node
+   */
+  NodeTemplate<false> getTNode() const throw();
 
   // Friend to access the actual internal expr information and private methods
   friend class SmtEngine;
+  friend class smt::SmtEnginePrivate;
   friend class ExprManager;
 };