diff --git a/ghc/includes/GhcConstants.lh b/ghc/includes/GhcConstants.lh
index f769205711ebe6a73781d33c30f8712f387653a1..6acf111dbe3d6f88b617581ae2b396be8d37fe46 100644
--- a/ghc/includes/GhcConstants.lh
+++ b/ghc/includes/GhcConstants.lh
@@ -10,7 +10,7 @@ Multi-slurp protection (start):
 #define GHCCONSTANTS_H
 
 #ifndef PLATFORM_H
-#include "platform.h"
+/* OLD: #include "platform.h" */
 #endif
 \end{code}