X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=41a1bc1479ceb8f9d12a2ebb81fb6bacf925d6a6;hb=dd34ddf490dd97c2c202092c8fa44064a07f8c4f;hp=6e4fd2ab900988df3d40e1b06be6c8f38d8df3f7;hpb=b5d7d602016a4640c31b79ba9598dceefa778ab6;p=model-checker.git

diff --git a/execution.h b/execution.h
index 6e4fd2a..41a1bc1 100644
--- a/execution.h
+++ b/execution.h
@@ -186,7 +186,7 @@ private:
 	ModelAction * get_uninitialized_action(const ModelAction *curr) const;
 
 	action_list_t action_trace;
-	HashTable<int, Thread *, int> thread_map;
+	SnapVector<Thread *> thread_map;
 
 	/** Per-object list of actions. Maps an object (i.e., memory location)
 	 * to a trace of all actions performed on the object. */