diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/Profiling.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Profiling.c b/rts/Profiling.c index 4f2606c8b4..5dca8c0524 100644 --- a/rts/Profiling.c +++ b/rts/Profiling.c @@ -29,7 +29,7 @@ /* * Profiling allocation arena. */ -Arena *prof_arena; +static Arena *prof_arena; /* * Global variables used to assign unique IDs to cc's, ccs's, and @@ -59,7 +59,7 @@ CostCentre *CC_LIST = NULL; CostCentreStack *CCS_LIST = NULL; #ifdef THREADED_RTS -Mutex ccs_mutex; +static Mutex ccs_mutex; #endif /* |