lowercasing filenames, part1; makefile adjustments
[picodrive.git] / platform / gizmondo / emu.c
index ee5a105..9f08f06 100644 (file)
@@ -16,7 +16,7 @@
 #include "giz.h"
 #include "asm_utils.h"
 
-#include <Pico/PicoInt.h>
+#include <pico/pico_int.h>
 
 #ifdef BENCHMARK
 #define OSD_FPS_X 220