1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index b8a665f0c..e0231bef6 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -476,7 +476,8 @@ public:
    * Returns the unique id of this node
    * @return the ud
    */
-  unsigned long getId() const {
+  uint64_t getId() const
+  {
     assertTNodeNotExpired();
     return d_nv->getId();
   }