diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-12-01 01:48:40 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-12-01 01:48:40 +0000 |
commit | 5d4ee83cd9b245810c35b0aa17bb51b5a456c24b (patch) | |
tree | 8564b9049386d9a4582f94e62e59de05a8f83f6d /src/smt/model_postprocessor.cpp | |
parent | ca5cc1ca674b24e9f28f93b0d3be5726acc797ed (diff) |
Some fixes for boolean arrays
also a regression for bug 411
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/smt/model_postprocessor.cpp')
-rw-r--r-- | src/smt/model_postprocessor.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/model_postprocessor.cpp b/src/smt/model_postprocessor.cpp index fb0ee808e..26f5c9c60 100644 --- a/src/smt/model_postprocessor.cpp +++ b/src/smt/model_postprocessor.cpp @@ -44,8 +44,6 @@ void ModelPostprocessor::visit(TNode current, TNode parent) { } d_nodes[current] = b; Debug("tuprec") << "returning " << d_nodes[current] << std::endl; - } else if(current.hasAttribute(smt::BooleanTermAttr())) { - Debug("boolean-terms") << "found bool-term attr on: " << current << std::endl; } else { Debug("tuprec") << "returning self" << std::endl; // rewrite to self |