diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-21 15:08:01 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-21 15:08:01 -0500 |
commit | 2098ecf556a490f7aec958b120fac1a8463f8fba (patch) | |
tree | 71faf0d64b9b4ce28815466f1e56a4656caf4a0e /src | |
parent | 761c1e709a5c3a8013d1da19ca7083cc8e9b2ed3 (diff) | |
parent | b712a12978ea0c1f0f57bb72e28dc1286dc8ac69 (diff) |
Merge branch '1.3.x'
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index e7c51f0e2..9ada7879c 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -1376,7 +1376,9 @@ NodeTemplate<ref_count>::substitute(Iterator1 nodesBegin, NodeBuilder<> nb(getKind()); if(getMetaKind() == kind::metakind::PARAMETERIZED) { // push the operator - nb << getOperator(); + nb << getOperator().substitute(nodesBegin, nodesEnd, + replacementsBegin, replacementsEnd, + cache); } for(const_iterator i = begin(), iend = end(); @@ -1427,7 +1429,7 @@ NodeTemplate<ref_count>::substitute(Iterator substitutionsBegin, NodeBuilder<> nb(getKind()); if(getMetaKind() == kind::metakind::PARAMETERIZED) { // push the operator - nb << getOperator(); + nb << getOperator().substitute(substitutionsBegin, substitutionsEnd, cache); } for(const_iterator i = begin(), iend = end(); |