From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 5 Dec 2013 23:47:29 +0000 (-0500)
Subject: Fix NodeValue bitfields for 32-bit; fix comment.
X-Git-Tag: cvc5-1.0.0~7197
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ce6d10c6cefffa8d3acfd82170b668477c63d32a;p=cvc5.git

Fix NodeValue bitfields for 32-bit; fix comment.
---

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 24132491a..5c73b39b5 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -89,19 +89,19 @@ class NodeValue {
   /** A mask for d_kind */
   static const unsigned kindMask = (1u << NBITS_KIND) - 1;
 
-  // this header fits into one 64-bit word
+  // This header fits into 96 bits
 
   /** The ID (0 is reserved for the null value) */
-  unsigned long d_id        : NBITS_ID;
+  uint64_t d_id        : NBITS_ID;
 
   /** The expression's reference count.  @see cvc4::Node. */
-  unsigned d_rc        : NBITS_REFCOUNT;
+  uint64_t d_rc        : NBITS_REFCOUNT;
 
   /** Kind of the expression */
-  unsigned d_kind      : NBITS_KIND;
+  uint64_t d_kind      : NBITS_KIND;
 
   /** Number of children */
-  unsigned d_nchildren : NBITS_NCHILDREN;
+  uint64_t d_nchildren : NBITS_NCHILDREN;
 
   /** Variable number of child nodes */
   NodeValue* d_children[0];