X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;h=5a23d82d5d97d865f486a9ebbd2913b93e9230f9;hb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298;hp=29ace0ad5122c4b584fab9504538c951e73b6f68;hpb=42e6cb1c90b72167be32e0201558019d47faa7f2;p=model-checker.git

diff --git a/datarace.cc b/datarace.cc
index 29ace0a..5a23d82 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -45,7 +45,7 @@ static bool clock_may_race(ClockVector *clock1, thread_id_t tid1,
 	return tid1 != tid2 && clock2 != 0 && clock1->getClock(tid2) <= clock2;
 }
 
-/** 
+/**
  * Expands a record from the compact form to the full form.  This is
  * necessary for multiple readers or for very large thread ids or time
  * stamps. */