From 3afb7c38ef2661ea39e02ff29b36febea99c7ce5 Mon Sep 17 00:00:00 2001
From: David Moore <dsm@harlequin.com>
Date: Fri, 9 Feb 1996 16:05:54 +0000
Subject: [PATCH] Mps_os_nt should be mps_os_w3

Copied from Perforce
 Change: 15241
 ServerID: perforce.ravenbrook.com
---
 mps/src/thw3i3.c | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/mps/src/thw3i3.c b/mps/src/thw3i3.c
index 858bf69631b..454dadf34f8 100644
--- a/mps/src/thw3i3.c
+++ b/mps/src/thw3i3.c
@@ -2,7 +2,7 @@
  * 
  *                  WIN32 THREAD MANAGER
  *
- *  $HopeName: MMsrc!thnti3.c(trunk.6) $
+ *  $HopeName: MMsrc!thnti3.c(trunk.8) $
  *
  *  Copyright (C) 1995 Harlequin Group, all rights reserved
  *
@@ -59,21 +59,21 @@
  *
  */
 
-#if !defined(MPS_OS_NT) || !defined(MPS_ARCH_I3) /* .i3 .nt */
-#error "Compiling thntmvi3 when MPS_OS_NT or MPS_ARCH_I3 not defined."
-#endif
-
 #include "std.h"
-#include "deque.h"
-#include "trace.h"
 #include "ref.h"
 #include "pool.h"
 #include "space.h"
+#include "trace.h"
 #include "th.h"
 #include "ss.h"
+
+#if !defined(MPS_OS_W3) || !defined(MPS_ARCH_I3) /* .i3 .nt */
+#error "Compiling thnti3 when MPS_OS_W3 or MPS_ARCH_I3 not defined."
+#endif
+
 #include <windows.h>
 
-SRCID("$HopeName$");
+SRCID("$HopeName: MMsrc!thnti3.c(trunk.8) $");
 
 
 typedef struct ThreadStruct {