diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-17 18:38:16 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-06-17 18:38:16 -0500 |
| commit | f5ed28fe24f6b887630a48dcf476c462c0c227a1 (patch) | |
| tree | edd8b8c35b474ed051ace7c861799d734ab5b99d /src/theory/term_registration_visitor.cpp | |
| parent | 1a2547995acc5a98c8969e628ac5e1c45b0efe94 (diff) | |
Cleanup from last commit, treat sep.nil as variable kind.
Diffstat (limited to 'src/theory/term_registration_visitor.cpp')
| -rw-r--r-- | src/theory/term_registration_visitor.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/term_registration_visitor.cpp b/src/theory/term_registration_visitor.cpp index 7b9786247..e758002fa 100644 --- a/src/theory/term_registration_visitor.cpp +++ b/src/theory/term_registration_visitor.cpp @@ -38,7 +38,6 @@ bool PreRegisterVisitor::alreadyVisited(TNode current, TNode parent) { if( ( parent.getKind() == kind::FORALL || parent.getKind() == kind::EXISTS || parent.getKind() == kind::REWRITE_RULE || - parent.getKind() == kind::SEP_NIL || parent.getKind() == kind::SEP_STAR || parent.getKind() == kind::SEP_WAND || ( parent.getKind() == kind::SEP_LABEL && current.getType().isBoolean() ) @@ -183,7 +182,6 @@ bool SharedTermsVisitor::alreadyVisited(TNode current, TNode parent) const { if( ( parent.getKind() == kind::FORALL || parent.getKind() == kind::EXISTS || parent.getKind() == kind::REWRITE_RULE || - parent.getKind() == kind::SEP_NIL || parent.getKind() == kind::SEP_STAR || parent.getKind() == kind::SEP_WAND || ( parent.getKind() == kind::SEP_LABEL && current.getType().isBoolean() ) |