From 69c05d7258a32973de9eed51819f7a33d182a2b2 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 8 Apr 2009 19:09:51 +0000 Subject: [PATCH] Fixed the types in the ..TOSTRING procs in the support headers --- support/tock_support.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/support/tock_support.h b/support/tock_support.h index 5a3c196..0519358 100644 --- a/support/tock_support.h +++ b/support/tock_support.h @@ -320,8 +320,8 @@ static inline int occam_check_retype (int src, int dest, const char *pos) { MAKE_SIMPLE_UNARY(minus,-,type,otype) #define MAKE_TOSTRING(type, occname, flag) \ - static inline void occam_##occname##TOSTRING(OCCAM_INT*, unsigned char*, const type) occam_unused; \ - static inline void occam_##occname##TOSTRING(OCCAM_INT* len, unsigned char* string, const type n) { \ + static inline void occam_##occname##TOSTRING(occam_extra_param OCCAM_INT*, unsigned char*, const type) occam_unused; \ + static inline void occam_##occname##TOSTRING(occam_extra_param OCCAM_INT* len, unsigned char* string, const type n) { \ /* Must use buffer to avoid writing trailing zero: */ char buf[32]; \ int chars_written = snprintf(buf, 32, flag, n); \ memcpy(string, buf, chars_written * sizeof(char)); \