X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=history.cc;h=d334cb7de10cc3141cd86d5942107155d70ffb9e;hb=0fd64e09bb7a48d62eb724507f8716f1af4dc8d7;hp=7e5166fdf1294352f2e942963db3fa8ebbee8f64;hpb=b8545842296c9419371b92ba0e790098d54c33cd;p=c11tester.git

diff --git a/history.cc b/history.cc
index 7e5166fd..d334cb7d 100644
--- a/history.cc
+++ b/history.cc
@@ -385,7 +385,7 @@ WaitObj * ModelHistory::getWaitObj(thread_id_t tid)
 }
 
 void ModelHistory::add_waiting_thread(thread_id_t self_id,
-thread_id_t waiting_for_id, FuncNode * target_node, int dist)
+																			thread_id_t waiting_for_id, FuncNode * target_node, int dist)
 {
 	WaitObj * self_wait_obj = getWaitObj(self_id);
 	self_wait_obj->add_waiting_for(waiting_for_id, target_node, dist);
@@ -413,7 +413,7 @@ void ModelHistory::remove_waiting_thread(thread_id_t tid)
 }
 
 void ModelHistory::stop_waiting_for_node(thread_id_t self_id,
-thread_id_t waiting_for_id, FuncNode * target_node)
+																				 thread_id_t waiting_for_id, FuncNode * target_node)
 {
 	WaitObj * self_wait_obj = getWaitObj(self_id);
 	bool thread_removed = self_wait_obj->remove_waiting_for_node(waiting_for_id, target_node);