Commit 94bdf8cb authored by Simon Marlow's avatar Simon Marlow

Fix warning on Windows (use deleteThread() not deleteThread_())

parent 27f66c28
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment