From fff89d35b7e943f6447e328c559d4ae8cdbbaaab Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Fri, 14 Mar 1997 03:43:15 +0000
Subject: [PATCH] [project @ 1997-03-14 03:43:15 by sof] Removed platform.h
 include (not generated anymore)

---
 ghc/runtime/main/Itimer.lc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ghc/runtime/main/Itimer.lc b/ghc/runtime/main/Itimer.lc
index 106882571a90..bf845f08d207 100644
--- a/ghc/runtime/main/Itimer.lc
+++ b/ghc/runtime/main/Itimer.lc
@@ -20,7 +20,9 @@ to support.  So much for standards.
 
 #if defined(PROFILING) || defined(CONCURRENT)
 
-# include "platform.h"
+/* OLD: # include "platform.h" */
+
+# include "config.h"
 
 # define NON_POSIX_SOURCE
 
-- 
GitLab