simgrid::xbt::log_exception(xbt_log_priority_critical, "UNCAUGHT EXCEPTION", *e);
}
-/** \brief returns a short name for the given exception category */
+/** @brief returns a short name for the given exception category */
const char *xbt_ex_catname(xbt_errcat_t cat)
{
switch (cat) {