/* GENERATED FILE, DO NOT EDIT */
/*******************************/
-#line 810 "xbt/dict.c"
+#line 816 "xbt/dict.c"
#include "xbt.h"
#include "xbt/ex.h"
#include "portable.h"
XBT_LOG_EXTERNAL_CATEGORY(xbt_dict);
XBT_LOG_DEFAULT_CATEGORY(xbt_dict);
+
static void print_str(void *str)
{
printf("%s", (char *) PRINTF_STR(str));