remove EOL spaces, fix indentation

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 29ace0ad5122c4b584fab9504538c951e73b6f68..5a23d82d5d97d865f486a9ebbd2913b93e9230f9 100644 (file)
--- 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. */