// -----------------------------------------------------------------------
-// Copyright (C) 2006 - 2008 FRESCOR consortium partners:
+// Copyright (C) 2006 - 2009 FRESCOR consortium partners:
//
// Universidad de Cantabria, SPAIN
// University of York, UK
// TODO: use #include <assert.h> when it works for all architectures
#include <stdlib.h> // for exit in assert
-static void inline assert(expression)
+
+static void inline asserto(expression)
{
if (!expression) {
printe(__FILE__":%u: failed assertion.\n", __LINE__);