From 8166b6cef258b198d0ffc97d125da3c85acf9708 Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 6 Jul 2012 17:47:49 +0000 Subject: [PATCH] Adding std namespace to a couple of make_pair instances. --- src/theory/inst_match_impl.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/theory/inst_match_impl.h b/src/theory/inst_match_impl.h index f48cdff2c..b38bcb6f5 100644 --- a/src/theory/inst_match_impl.h +++ b/src/theory/inst_match_impl.h @@ -43,7 +43,7 @@ void InstMatchTrie2::addSubTree( Tree * root, mapIter current, mapIter en Assert(root->e.find(current->second) == root->e.end()); Tree * root2 = new Tree(currLevel); - root->e.insert(make_pair(current->second, root2)); + root->e.insert(std::make_pair(current->second, root2)); addSubTree(root2, ++current, end, currLevel ); } @@ -111,7 +111,7 @@ bool InstMatchTrie2::addInstMatch( InstMatch& m ) { addSubTree( e, diverge, end, currLevel ); if(e->level != currLevel) //If same level that e, will be removed at the same time than e - d_mods.push_back(make_pair(e,diverge->second)); + d_mods.push_back(std::make_pair(e,diverge->second)); return true; }else{ return false; -- 2.30.2