threads: trivial change

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 33bb99254e255db59b1045bbf94711535688487a..26975799f0adc03ce8ca4e0ad6e391aad0e37d96 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -36,8 +36,8 @@ Thread * thread_current(void)
  * @todo We should make the START event always immediately follow the
  * CREATE event, so we don't get redundant traces...
  */
-
-void thread_startup() {
+void thread_startup()
+{
        Thread * curr_thread = thread_current();
 
        /* Add dummy "start" action, just to create a first clock vector */