diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-10-11 11:10:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-11 13:10:16 -0500 |
commit | 3d49a4413c819f6dee337ac7c53b6f6c6b510377 (patch) | |
tree | 005dba213df89927ffcdf9c0bdf3776609c855ca /src/expr | |
parent | 0f834b9622947ad1f6405c83a43df88c98c05c55 (diff) |
SyGuS instantiation modes (#5228)
This PR adds three instantiation modes to the SyGuS instantiation module.
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/node.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index 7ae56d313..bb014bbaf 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -1417,7 +1417,7 @@ NodeTemplate<ref_count>::substitute(Iterator1 nodesBegin, Assert(std::distance(nodesBegin, nodesEnd) == std::distance(replacementsBegin, replacementsEnd)) << "Substitution iterator ranges must be equal size"; - Iterator1 j = find(nodesBegin, nodesEnd, TNode(*this)); + Iterator1 j = std::find(nodesBegin, nodesEnd, TNode(*this)); if(j != nodesEnd) { Iterator2 b = replacementsBegin; std::advance(b, std::distance(nodesBegin, j)); |