NodeValue: Use fixed width return type for getRefCount(). (#3374)

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index bd26d22fcb06b9fd2596bfea4d836032afb97c3c..9e7ccb70764318487126034043c497f94fe45129 100644 (file)
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -171,7 +171,7 @@ class NodeValue
                                                             : d_nchildren;
   }
 
-  unsigned getRefCount() const { return d_rc; }
+  uint32_t getRefCount() const { return d_rc; }
 
   NodeValue* getOperator() const;
   NodeValue* getChild(int i) const;