+/**
+ * Destroy the dict mallocators.
+ * This is an internal XBT function called by xbt_exit().
+ */
+void xbt_dict_exit(void) {
+ if (dict_mallocator != NULL) {
+ xbt_mallocator_free(dict_mallocator);
+ xbt_mallocator_free(dict_elm_mallocator);
+ }
+}
+
+static void* dict_mallocator_new_f(void) {
+ return xbt_new(s_xbt_dict_t, 1);
+}
+
+static void dict_mallocator_free_f(void* dict) {
+ xbt_free(dict);
+}
+
+static void dict_mallocator_reset_f(void* dict) {
+ /* nothing to do because all fields are
+ * initialized in xbt_dict_new
+ */
+}
+