diff options
-rw-r--r-- | ghc/rts/Profiling.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h index dccf4440e6..7cc38df79e 100644 --- a/ghc/rts/Profiling.h +++ b/ghc/rts/Profiling.h @@ -1,6 +1,5 @@ /* ----------------------------------------------------------------------------- - - * $Id: Profiling.h,v 1.4 2001/12/12 14:31:43 simonmar Exp $ + * $Id: Profiling.h,v 1.5 2002/07/18 09:12:03 simonmar Exp $ * * (c) The GHC Team, 1998-2000 * @@ -28,5 +27,4 @@ extern lnat total_prof_ticks; extern void fprintCCS( FILE *f, CostCentreStack *ccs ); - #endif |