Fix bug in getSymbols. (#2544)

diff --git a/src/expr/node_algorithm.cpp b/src/expr/node_algorithm.cpp
index 9240e4a8e1d40dc708f6165c5662c5d2ff6bacc2..4bbfb5df812b2a8388569192f87f1395798fec86 100644 (file)
--- a/src/expr/node_algorithm.cpp
+++ b/src/expr/node_algorithm.cpp
@@ -169,7 +169,7 @@ bool hasFreeVar(TNode n)
 void getSymbols(TNode n, std::unordered_set<Node, NodeHashFunction>& syms)
 {
   std::unordered_set<TNode, TNodeHashFunction> visited;
-  getSymbols(n, syms);
+  getSymbols(n, syms, visited);
 }
 
 void getSymbols(TNode n,