From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 9 Oct 2019 01:33:08 +0000 (-0700)
Subject: NodeValue: Use fixed width return type for getRefCount(). (#3374)
X-Git-Tag: cvc5-1.0.0~3898
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f5af4a576f941ca478119f18db4b5a6b2e279ee;p=cvc5.git

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

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;