Kill stray timing
parent
000f807eda
commit
b95bc712f4
|
|
@ -102,8 +102,6 @@ struct ConstructorTraversalData {
|
||||||
const size_t nrChildren = node->children.size();
|
const size_t nrChildren = node->children.size();
|
||||||
assert(childConditionals.size() == nrChildren);
|
assert(childConditionals.size() == nrChildren);
|
||||||
|
|
||||||
gttic(merge_children);
|
|
||||||
|
|
||||||
// decide which children to merge, as index into children
|
// decide which children to merge, as index into children
|
||||||
std::vector<bool> merge(nrChildren, false);
|
std::vector<bool> merge(nrChildren, false);
|
||||||
size_t myNrFrontals = 1;
|
size_t myNrFrontals = 1;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue