X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=clockvector.cc;h=190f9216a92b61ad68df0990775d4c978aaa53f9;hb=8548c711d71b6474802af83f5a4800eb4ac30718;hp=88ea6fdfcf7cc73a8b99239e9128180883ca55bb;hpb=6229fece25a438e469a9fbf1042ea56fa4e3e3f4;p=c11tester.git

diff --git a/clockvector.cc b/clockvector.cc
index 88ea6fdf..190f9216 100644
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -84,7 +84,7 @@ bool ClockVector::synchronized_since(const ModelAction *act) const
 	return false;
 }
 
-/** 
+/**
  * Gets the clock corresponding to a given thread id from the clock
  * vector. */