From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 27 Sep 2018 03:25:35 +0000 (-0500)
Subject: Fix bug in getSymbols. (#2544)
X-Git-Tag: cvc5-1.0.0~4494
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b8e40985b83354e7e4a503d217374eb7fbc45f0;p=cvc5.git

Fix bug in getSymbols. (#2544)
---

diff --git a/src/expr/node_algorithm.cpp b/src/expr/node_algorithm.cpp
index 9240e4a8e..4bbfb5df8 100644
--- 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,