src/video/xbios/SDL_xbios.c
changeset 557 0ce5a68278fd
parent 508 9ff7e90aaa94
child 598 50dcaff875f5
--- a/src/video/xbios/SDL_xbios.c	Sat Dec 07 06:51:03 2002 +0000
+++ b/src/video/xbios/SDL_xbios.c	Sat Dec 07 06:54:47 2002 +0000
@@ -38,7 +38,7 @@
 #include <unistd.h>
 
 /* Mint includes */
-#include <sys/cookie.h>
+#include <mint/cookie.h>
 #include <mint/osbind.h>
 #include <mint/falcon.h>