/* xbt/error.h - Error tracking support */
-/* Authors: Martin Quinson */
-/* Copyright (C) 2003,2004 da GRAS posse. */
+/* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
- under the terms of the license (GNU LGPL) which comes with this package. */
-
+ * under the terms of the license (GNU LGPL) which comes with this package. */
#ifndef XBT_ERROR_H
#define XBT_ERROR_H
BEGIN_DECL
+void xbt_abort(void) _XBT_GNUC_NORETURN;
+
typedef enum {
no_error=0, /* succes */
mismatch_error=1, /* The provided ID does not match */