1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index 517a9eb7f..77f9141f1 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -35,6 +35,7 @@ class Node;
 inline std::ostream& operator<<(std::ostream&, const Node&);
 
 class NodeManager;
+class Type;
 
 namespace expr {
   class NodeValue;
@@ -139,6 +140,7 @@ public:
   inline Kind getKind() const;
 
   inline size_t getNumChildren() const;
+  const Type* getType() const;
 
   static Node null();