X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=tree.cc;h=263655c75330387b7fd006750de149f77c7df113;hb=810306cb85accaaace9a50f174264f105991230b;hp=c161ca838de4947fbfc1ca486aaaf0400ca1475e;hpb=efd0e6cfa2827dfec2cf5932c02f9c6559389f4d;p=model-checker.git

diff --git a/tree.cc b/tree.cc
index c161ca8..263655c 100644
--- 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);