diff options
author | Tim King <taking@cs.nyu.edu> | 2013-11-19 20:57:15 -0500 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-11-20 15:37:18 -0500 |
commit | bd8e9319aab69db90692f72bc52288329879eefc (patch) | |
tree | 7bfee530c06836827378fd5b9bd1f47bb4f1eea1 /src/expr/node_builder.h | |
parent | f806a8eedf01753116c225b4c1a5e29543fda370 (diff) |
Changing the number of bits allocated per field in node values.
Diffstat (limited to 'src/expr/node_builder.h')
-rw-r--r-- | src/expr/node_builder.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index 64080c275..0be97b24a 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -217,7 +217,7 @@ class NodeBuilder { /** * The number of children allocated in d_nv. */ - uint16_t d_nvMaxChildren; + uint32_t d_nvMaxChildren; template <unsigned N> void internalCopy(const NodeBuilder<N>& nb); |