From 8e10eb8811d8ecff2781ec3ba1f73fc2528a9be3 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 12 Apr 2009 10:50:29 +0000
Subject: [PATCH] Fixed a missing parameter on one of the support functions
---
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 0519358..cf61f6b 100644
--- a/support/tock_support.h
+++ b/support/tock_support.h
@@ -412,8 +412,8 @@ MAKE_ALL_COMP(uint8_t,BYTE_BYTE)
MAKE_ALL_BITWISE(uint8_t,BYTE_BYTE)
// occam's only unsigned type, so we can use % directly.
-static inline uint8_t occam_rem_BYTE_BYTE (uint8_t, uint8_t, const char *) occam_unused;
-static inline uint8_t occam_rem_BYTE_BYTE (uint8_t a, uint8_t b, const char *pos) {
+static inline uint8_t occam_rem_BYTE_BYTE (occam_extra_param uint8_t, uint8_t, const char *) occam_unused;
+static inline uint8_t occam_rem_BYTE_BYTE (occam_extra_param uint8_t a, uint8_t b, const char *pos) {
if (b == 0) {
occam_stop (pos, 1, "modulo by zero");
}