X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=b6eaee4ea18cb511b9d4e37edc78814669e152c8;hb=85c090982c2a8dd6e236aa8f3d0a79f974ab9603;hp=6d290a94f9f2131b5ca9e7d47b8bae457dd02857;hpb=2ebb0b5a772c0bc5366c41c4980f3fd06f8081ae;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 6d290a9..b6eaee4 100644
--- a/threads.cc
+++ b/threads.cc
@@ -69,7 +69,9 @@ void Thread::complete()
 	}
 }
 
-Thread::Thread(thrd_t *t, void (*func)(void *), void *a) {
+Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
+	last_action_val(VALUE_NONE)
+{
 	int ret;
 
 	user_thread = t;