diff options
| -rw-r--r-- | ghc/rts/Select.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/rts/Select.c b/ghc/rts/Select.c index 644bb41035..16824818ec 100644 --- a/ghc/rts/Select.c +++ b/ghc/rts/Select.c @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Select.c,v 1.15 2001/02/27 12:43:45 rrt Exp $ + * $Id: Select.c,v 1.16 2001/02/28 14:23:55 sewardj Exp $ * * (c) The GHC Team 1995-1999 * @@ -26,7 +26,7 @@ # endif # ifdef mingw32_TARGET_OS -# include <w32api/windows.h> +# include <windows.h> # endif /* last timestamp */ |