-XBT_PUBLIC(void) _xbt_test_add(const char *file, int line, const char *fmt,
- ...) XBT_ATTRIB_PRINTF(3, 4);
-XBT_PUBLIC(void) _xbt_test_fail(const char *file, int line,
- const char *fmt, ...) XBT_ATTRIB_PRINTF(3,
- 4);
-XBT_PUBLIC(void) _xbt_test_log(const char *file, int line, const char *fmt,
- ...) XBT_ATTRIB_PRINTF(3, 4);
+XBT_PUBLIC(void) _xbt_test_add(const char *file, int line, const char *fmt, ...) XBT_ATTRIB_PRINTF(3, 4);
+XBT_PUBLIC(void) _xbt_test_fail(const char *file, int line, const char *fmt, ...) XBT_ATTRIB_PRINTF(3, 4);
+XBT_PUBLIC(void) _xbt_test_log(const char *file, int line, const char *fmt, ...) XBT_ATTRIB_PRINTF(3, 4);