[project @ 1997-03-14 03:43:15 by sof]

Removed platform.h include (not generated anymore)

diff --git a/ghc/runtime/main/Itimer.lc b/ghc/runtime/main/Itimer.lc
index 1068825..bf845f0 100644 (file)
--- 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