resource metrics: Add missing free to `resource_metrics_reset`.

diff --git a/src/utils/resource_metrics/resource_metrics.c b/src/utils/resource_metrics/resource_metrics.c
index dafa08a3a1620dea261b115d9288a81e9cb1a50d..4f6316771792fba874447156d3e723e39b6a753d 100644 (file)
--- a/src/utils/resource_metrics/resource_metrics.c
+++ b/src/utils/resource_metrics/resource_metrics.c
@@ -213,6 +213,7 @@ void resource_metrics_reset(resource_metrics_set_t *set) {
   for (size_t i = 0; i < set->num; i++) {
     resource_reset(&set->ptr[i]);
   }
+  free(set->ptr);
   set->ptr = NULL;
   set->num = 0;
 }