Changes in uspace/drv/char/atkbd/main.c [04ba110:5012203] in mainline

File:

• uspace/drv/char/atkbd/main.c (modified) (1 diff)

uspace/drv/char/atkbd/main.c

@@ -34 +34 @@
  */
 
-#include <inttypes.h>
+#include <libarch/inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>