Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision 702536882b248833b02d3693809a7bb0f21bcbd1)
+++ uspace/drv/nic/rtl8139/driver.c	(revision e5e2d733644a28922ccdf2939328e7cbd0dcfbb4)
@@ -34,5 +34,4 @@
 #include <align.h>
 #include <byteorder.h>
-#include <libarch/ddi.h>
 #include <libarch/barrier.h>