diff options
author | lianah <lianahady@gmail.com> | 2013-03-21 15:46:52 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-03-21 15:46:52 -0400 |
commit | 43ed2d4e9575232655db7df249ba9be1fc9eba61 (patch) | |
tree | 023a2eb8bdc9a4082f3a1fc218bda255bd99c30c | |
parent | b791a54377d468946a3aec7e740f4eb33c640372 (diff) |
fixed compilation problem
-rw-r--r-- | src/theory/bv/slicer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index ef87e83b6..437be9bf4 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -631,7 +631,7 @@ void Slicer::registerEquality(TNode eq) { } } -void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp, std::vector<Node>& explanation) { +void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp, std::vector<TNode>& explanation) { Debug("bv-slicer") << "Slicer::getBaseDecomposition " << node << endl; Index high = utils::getSize(node) - 1; @@ -651,7 +651,7 @@ void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp, std::ve for (unsigned i = 0; i < explanation_ids.size(); ++i) { Assert (hasExplanation(explanation_ids[i])); - Node exp = getExplanation(explanation_ids[i]); + TNode exp = getExplanation(explanation_ids[i]); explanation.push_back(exp); } |