* Makefile.in, configure.in, configure,

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

diff --git a/device/include/ds400rom.h b/device/include/ds400rom.h
index 9f0141d02ed59c3b43a559e558dee4c15a423995..c6c5f3058a3d9311f9c8cd2e4ffb2117b817f17a 100644 (file)
--- a/device/include/ds400rom.h
+++ b/device/include/ds400rom.h
@@ -1,4 +1,4 @@
-// Interface to DS80C400 ROM functions.
+/* Interface to DS80C400 ROM functions. */
 
 #ifndef DS400ROM_H_
 #define 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