diff --git a/eo/src/gp/parse_tree.h b/eo/src/gp/parse_tree.h index badb062a..ca9892dc 100644 --- a/eo/src/gp/parse_tree.h +++ b/eo/src/gp/parse_tree.h @@ -298,7 +298,7 @@ public : */ template - void find_nodes(vector& result, Pred& p) + void find_nodes(std::vector& result, Pred& p) { if (p(*content)) { @@ -312,7 +312,7 @@ public : } template - void find_nodes(vector& result, Pred& p) const + void find_nodes(std::vector& result, Pred& p) const { if (p(*content)) { @@ -632,13 +632,13 @@ private : // { _root.apply(v, varValues, moreValues, evenMoreValues); } template - void find_nodes(vector& result, Pred& p) + void find_nodes(std::vector& result, Pred& p) { _root.find_nodes(result, p); } template - void find_nodes(vector& result, Pred& p) const + void find_nodes(std::vector& result, Pred& p) const { _root.find_nodes(p); }