menu: add reset hotkey

[picodrive.git] / pico / patch.c

diff --git a/pico/patch.c b/pico/patch.c
index 99632dd..b961e80 100644 (file)
--- a/pico/patch.c
+++ b/pico/patch.c
@@ -213,12 +213,6 @@ unsigned int PicoRead16(unsigned int a);
 void PicoWrite16(unsigned int a, unsigned short d);
 
 
-/* avoid dependency on newer glibc */
-static int isspace_(int c)
-{
-       return (0x09 <= c && c <= 0x0d) || c == ' ';
-}
-
 void PicoPatchUnload(void)
 {
        if (PicoPatches != NULL)