* device/include/ds400rom.h,

[fw/sdcc] / device / include / ds400rom.h

diff --git a/device/include/ds400rom.h b/device/include/ds400rom.h
index 9f0141d02ed59c3b43a559e558dee4c15a423995..11bacd3589de569fe9240f4c9621c2f72d405b81 100644 (file)
--- a/device/include/ds400rom.h
+++ b/device/include/ds400rom.h
@@ -8,7 +8,7 @@ extern unsigned char init_rom(void __xdata *loMem,
 
 extern unsigned long task_gettimemillis_long(void) __naked;
 
-extern unsigned char task_getthreadID(void) _naked;
+extern unsigned char task_getthreadID(void) __naked;
 
 /** Timer reload value for 14.746 MHz crystal. */
 #define RELOAD_14_746 0xfb33