From: Brian Norris <banorris@uci.edu>
Date: Sat, 10 Mar 2012 03:06:31 +0000 (-0800)
Subject: libthreads: use 'void' in argument list
X-Git-Tag: pldi2013~601
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8eb5e06138387756462affc3d7a327d9f0cd20d3;p=model-checker.git

libthreads: use 'void' in argument list
---

diff --git a/libthreads.c b/libthreads.c
index 660e19d..8940379 100644
--- a/libthreads.c
+++ b/libthreads.c
@@ -74,7 +74,7 @@ static void thread_dispose(struct thread *t)
 	stack_free(t->stack);
 }
 
-static void thread_wait_finish()
+static void thread_wait_finish(void)
 {
 	struct thread *next;