- Fix includes in richard's driver.
[reactos.git] / reactos / drivers / video / miniport / vmx_svga / precomp.h
index 7555bc1..a8f8a82 100644 (file)
@@ -5,8 +5,8 @@
  * PURPOSE:         VMWARE SVGA-II Driver Header
  * PROGRAMMERS:     ReactOS Portable Systems Group
  */
-#include <ntddk.h>
+
+#include <ntdef.h>
 #include <dderror.h>
 #include <miniport.h>
 #include <ntddvdeo.h>