diff options
Diffstat (limited to 'includes/rts/Profiling.h')
| -rw-r--r-- | includes/rts/Profiling.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/includes/rts/Profiling.h b/includes/rts/Profiling.h deleted file mode 100644 index b329a493db..0000000000 --- a/includes/rts/Profiling.h +++ /dev/null @@ -1,17 +0,0 @@ -/* ----------------------------------------------------------------------------- - * - * (c) The GHC Team, 2017-2018 - * - * Cost-centre profiling API - * - * Do not #include this file directly: #include "Rts.h" instead. - * - * To understand the structure of the RTS headers, see the wiki: - * https://gitlab.haskell.org/ghc/ghc/wikis/commentary/source-tree/includes - * - * -------------------------------------------------------------------------- */ - -#pragma once - -void registerCcList(CostCentre **cc_list); -void registerCcsList(CostCentreStack **cc_list); |