diff options
Diffstat (limited to 'ghc/rts/Itimer.h')
| -rw-r--r-- | ghc/rts/Itimer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/rts/Itimer.h b/ghc/rts/Itimer.h index e415074d86..0876e84453 100644 --- a/ghc/rts/Itimer.h +++ b/ghc/rts/Itimer.h @@ -1,7 +1,7 @@ /* ----------------------------------------------------------------------------- - * $Id: Itimer.h,v 1.2 1998/12/02 13:28:28 simonm Exp $ + * $Id: Itimer.h,v 1.3 1999/02/05 16:02:44 simonm Exp $ * - * (c) The GHC Team 1998 + * (c) The GHC Team 1998-1999 * * Interval timer for profiling and pre-emptive scheduling. * |