diff options
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); |