From 4a9a60c7f53fec446a503ed6df7cc255d0446bd6 Mon Sep 17 00:00:00 2001
From: Patrick Wuttke <p.wuttke@dsfishlabs.com>
Date: Mon, 14 Jul 2025 17:15:25 +0200
Subject: [PATCH] Replaced default deleter used in DynamicPointer so it fits
 better with other functions.

---
 source/mijin/memory/dynamic_pointer.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/mijin/memory/dynamic_pointer.hpp b/source/mijin/memory/dynamic_pointer.hpp
index 1edd64a..92ed97e 100644
--- a/source/mijin/memory/dynamic_pointer.hpp
+++ b/source/mijin/memory/dynamic_pointer.hpp
@@ -17,7 +17,7 @@ namespace mijin
 {
 MIJIN_DEFINE_FLAG(Owning);
 
-template<typename T, deleter_type<T> TDeleter = std::default_delete<T>>
+template<typename T, deleter_type<T> TDeleter = AllocatorDeleter<MIJIN_DEFAULT_ALLOCATOR<T>>>
 class DynamicPointer
 {
 public: