fixed compilation problem
authorlianah <lianahady@gmail.com>
Thu, 21 Mar 2013 19:46:52 +0000 (15:46 -0400)
committerlianah <lianahady@gmail.com>
Thu, 21 Mar 2013 19:46:52 +0000 (15:46 -0400)
src/theory/bv/slicer.cpp

index ef87e83b60abdea3c4442ef7a94577c527fd6002..437be9bf4cdb0cabdce40dfe026e572148e83273 100644 (file)
@@ -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); 
   }