diff options
author | Tim King <taking@cs.nyu.edu> | 2012-07-06 17:47:49 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-07-06 17:47:49 +0000 |
commit | 8166b6cef258b198d0ffc97d125da3c85acf9708 (patch) | |
tree | 6291ac84b434f5152c9f02cf746c2020900ae76a /src/theory | |
parent | 2d1f57e9a7e21e637ca23da17f5a4a19c6ccc1f2 (diff) |
Adding std namespace to a couple of make_pair instances.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/inst_match_impl.h | 4 |
1 files 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<modEq>::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<modEq>::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; |