diff options
Diffstat (limited to 'src/expr/node_algorithm.cpp')
| -rw-r--r-- | src/expr/node_algorithm.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/node_algorithm.cpp b/src/expr/node_algorithm.cpp index 4e62bc9ad..25ffb0778 100644 --- a/src/expr/node_algorithm.cpp +++ b/src/expr/node_algorithm.cpp @@ -182,8 +182,7 @@ bool getFreeVariables(TNode n, continue; } Kind k = cur.getKind(); - bool isQuant = k == kind::FORALL || k == kind::EXISTS || k == kind::LAMBDA - || k == kind::CHOICE; + bool isQuant = cur.isClosure(); std::unordered_map<TNode, bool, TNodeHashFunction>::iterator itv = visited.find(cur); if (itv == visited.end()) |