diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-10 17:14:24 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-07-16 02:41:23 -0400 |
commit | 52f755aa203c55e44dce79c9ac1abc245977b000 (patch) | |
tree | 065ab3e51787e6894945cae0c06c1090c0e78212 /rts/Profiling.h | |
parent | 373c9cb379bd64c4d295becf3afce122a6e199f4 (diff) | |
download | haskell-52f755aa203c55e44dce79c9ac1abc245977b000.tar.gz |
rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
Diffstat (limited to 'rts/Profiling.h')
-rw-r--r-- | rts/Profiling.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index c692c22b5e..abb731217a 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -24,7 +24,7 @@ #endif void initProfiling (void); -void initProfiling2 (void); +void refreshProfilingCCSs (void); void endProfiling (void); void freeProfiling (void); |