From fff89d35b7e943f6447e328c559d4ae8cdbbaaab Mon Sep 17 00:00:00 2001 From: sof 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 1068825..bf845f0 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 -- 1.7.10.4