From 7bb59f381da3728f53ae5ea1bf821154f53c3f94 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 21 Oct 2005 14:47:36 +0000
Subject: [PATCH] [project @ 2005-10-21 14:47:36 by simonmar] No need to
 import platform-specific stuff now.

---
 ghc/rts/Timer.c |    6 ------
 1 file changed, 6 deletions(-)

diff --git a/ghc/rts/Timer.c b/ghc/rts/Timer.c
index 73bb179..b6414f8 100644
--- a/ghc/rts/Timer.c
+++ b/ghc/rts/Timer.c
@@ -22,12 +22,6 @@
 #include "Ticker.h"
 #include "Capability.h"
 
-#if !defined(mingw32_HOST_OS)
-#include "Itimer.h"
-#else
-#include "win32/Ticker.h"
-#endif
-
 /* ticks left before next pre-emptive context switch */
 static int ticks_to_ctxt_switch = 0;
 
-- 
1.7.10.4