From d0c44a9e048558887ab75aaec4c493696c67b456 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 17 Apr 2019 12:42:11 -0500
Subject: More use of isClosure  (#2959)

---
 src/printer/dagification_visitor.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/printer')

diff --git a/src/printer/dagification_visitor.cpp b/src/printer/dagification_visitor.cpp
index d3cfc0438..cf5f35457 100644
--- a/src/printer/dagification_visitor.cpp
+++ b/src/printer/dagification_visitor.cpp
@@ -47,8 +47,7 @@ DagificationVisitor::~DagificationVisitor() {
 
 bool DagificationVisitor::alreadyVisited(TNode current, TNode parent) {
   Kind ck = current.getKind();
-  if (ck == kind::FORALL || ck == kind::EXISTS || ck == kind::LAMBDA
-      || ck == kind::CHOICE)
+  if (current.isClosure())
   {
     // for quantifiers, we visit them but we don't recurse on them
     visit(current, parent);
-- 
cgit v1.2.3