From 6d9abf287d99279385cd858bd58602ab19654a8b Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 8 Aug 2012 16:36:10 -0700
Subject: [PATCH] threads: trivial change

---
 threads.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/threads.cc b/threads.cc
index 33bb9925..26975799 100644
--- 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 */
-- 
2.34.1