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

Removed platform.h include (not generated anymore)

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