From 3d49a4413c819f6dee337ac7c53b6f6c6b510377 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sun, 11 Oct 2020 11:10:16 -0700
Subject: SyGuS instantiation modes (#5228)

This PR adds three instantiation modes to the SyGuS instantiation module.
---
 src/expr/node.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/expr/node.h')

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));
-- 
cgit v1.2.3