* include/ddk/ntddk.h: Include winnt.h as system header.

2002-11-15 01:02:37 +00:00
parent 665b994e3a
commit 429ae76922
2 changed files with 5 additions and 1 deletions
--- a/winsup/w32api/include/ddk/ntddk.h
+++ b/winsup/w32api/include/ddk/ntddk.h
@@ -67,7 +67,7 @@ typedef CONST char *PCSZ;
 #include "ntstatus.h"

 /* Windows NT definitions exported to user mode */
-#include "winnt.h"
+#include <winnt.h>

 /* Windows Device Driver Kit */
 #include "winddk.h"