From 19a1c2d861c979fd3d2f4d31b6094ca1972a72bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Wed, 6 Jul 2022 18:15:59 +0200
Subject: [PATCH] Overlooked another call to std::aligned_alloc().

---
 src/mx/memory/task_allocator_interface.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mx/memory/task_allocator_interface.h b/src/mx/memory/task_allocator_interface.h
index e92a910..d44fd07 100644
--- a/src/mx/memory/task_allocator_interface.h
+++ b/src/mx/memory/task_allocator_interface.h
@@ -41,7 +41,7 @@ public:
     /**
      * @return Allocated memory using systems malloc (but aligned).
      */
-    [[nodiscard]] void *allocate(const std::uint16_t /*core_id*/) override { return std::aligned_alloc(64U, S); }
+    [[nodiscard]] void *allocate(const std::uint16_t /*core_id*/) override { return std::malloc(S); }
 
     /**
      * Frees the given memory using systems free.