diff options
Diffstat (limited to 'ghc/includes/SchedAPI.h')
| -rw-r--r-- | ghc/includes/SchedAPI.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/includes/SchedAPI.h b/ghc/includes/SchedAPI.h index 6757a5ed0f..809d53c5b7 100644 --- a/ghc/includes/SchedAPI.h +++ b/ghc/includes/SchedAPI.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: SchedAPI.h,v 1.11 2000/11/13 14:40:36 simonmar Exp $ + * $Id: SchedAPI.h,v 1.12 2000/12/04 12:31:20 simonmar Exp $ * * (c) The GHC Team 1998 * |