X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=clockvector.cc;h=162a7c2550db61c3845885349a01b76e6fd84838;hb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298;hp=cfd99c66177568a642947c2959d87582010282c8;hpb=42e6cb1c90b72167be32e0201558019d47faa7f2;p=model-checker.git

diff --git a/clockvector.cc b/clockvector.cc
index cfd99c6..162a7c2 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. */