diff options
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/rts/Task.h b/rts/Task.h index f18f154117..052647b327 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -213,11 +213,6 @@ void interruptWorkerTask (Task *task); #endif /* THREADED_RTS */ -// Update any (Capability *) pointers belonging to Tasks after the -// Capability array is moved/resized. -// -void updateCapabilityRefs (void); - // For stats extern nat taskCount; extern nat workerCount; |