[USBEHCI]
[reactos.git] / reactos / drivers / usb / usbehci / usbehci.h
index 83dbb5f..2cc7bf7 100644 (file)
@@ -4,8 +4,6 @@
 #define INITGUID
 
 #include <ntddk.h>
-#define NDEBUG
-#include <debug.h>
 #include <hubbusif.h>
 #include <usbbusif.h>
 #include <usbioctl.h>