From 94bdf8cb5234289267310b1134b5877f31ddada0 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 17 Nov 2008 14:30:47 +0000 Subject: [PATCH] Fix warning on Windows (use deleteThread() not deleteThread_()) --- rts/Schedule.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rts/Schedule.c b/rts/Schedule.c index d25a321..742f3b4 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -466,7 +466,7 @@ schedule (Capability *initialCapability, Task *task) // in a foreign call returns. if (sched_state >= SCHED_INTERRUPTING && !(t->what_next == ThreadComplete || t->what_next == ThreadKilled)) { - deleteThread_(cap,t); + deleteThread(cap,t); } /* context switches are initiated by the timer signal, unless -- 1.7.10.4