diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-01-26 15:06:24 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-01-26 15:06:24 +0000 |
commit | b3d0ea6ed6d92943d9a52abbe30e944e9887516d (patch) | |
tree | 0330893fa4e129bab8341765e66b279382fddbbf /src/expr/node_builder.h | |
parent | 21e01d42ed4c0b6d9fa5855c2e0cfc1a3765d14f (diff) |
cnf conversion
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 747854d23..13aa0b0ff 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -390,7 +390,7 @@ inline NodeBuilder<nchild_thresh>::NodeBuilder(const NodeBuilder<nchild_thresh>& d_childrenStorage() { if(evIsAllocated(nb)) { - realloc(nb->d_size, false); + realloc(nb.d_size, false); std::copy(nb.d_ev->begin(), nb.d_ev->end(), d_ev->begin()); } else { std::copy(nb.d_ev->begin(), nb.d_ev->end(), d_inlineEv.begin()); |