diff options
| -rw-r--r-- | src/expr/node_value.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index bd26d22fc..9e7ccb707 100644 --- 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; |