Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...

[model-checker.git] / tree.cc

diff --git a/tree.cc b/tree.cc
index c161ca838de4947fbfc1ca486aaaf0400ca1475e..263655c75330387b7fd006750de149f77c7df113 100644 (file)
--- a/tree.cc
+++ b/tree.cc
@@ -17,7 +17,7 @@ TreeNode::TreeNode(TreeNode *par, ModelAction *act)
 }
 
 TreeNode::~TreeNode() {
-       std::map<int, class TreeNode *>::iterator it;
+       std::map<int, class TreeNode *, std::less< int >, MyAlloc< std::pair< const int, class TreeNode * > > >::iterator it;
 
        for (it = children.begin(); it != children.end(); it++)
                delete it->second;
@@ -26,7 +26,7 @@ TreeNode::~TreeNode() {
 TreeNode * TreeNode::explore_child(ModelAction *act)
 {
        TreeNode *n;
-       std::set<int>::iterator it;
+       std::set<int, std::less< int >, MyAlloc< int > >::iterator it;
        thread_id_t id = act->get_tid();
        int i = id_to_int(id);