Fixed a problem with rangetest caused by an earlier change

This commit is contained in:
Neil Brown 2009-04-17 18:49:46 +00:00
parent 3b1519e4d3
commit 9141a21693

View File

@ -2,7 +2,7 @@ int g_stopped;
#define occam_stop(pos, nargs, format, args...) do { g_stopped = 1; } while (0)
#define occam_INT_size SIZEOF_INT
#define occam_INT_size SIZEOF_VOIDP
#define occam_extra_param
#include "support/tock_support.h"