diff options
| -rw-r--r-- | rts/Capability.h | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/rts/Capability.h b/rts/Capability.h index 2f616b5c6f..64273c758b 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -333,7 +333,7 @@ void traverseSparkQueues (evac_fn evac, void *user);  #ifdef THREADED_RTS -INLINE_HEADER rtsBool emptyInbox(Capability *cap);; +INLINE_HEADER rtsBool emptyInbox(Capability *cap);  #endif // THREADED_RTS | 
