From 7ccbb2f03f42b701aaf8195ef4bcb0d912da009c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Duval?= <jerome.duval@gmail.com>
Date: Sun, 8 Nov 2015 00:01:03 +0100
Subject: [PATCH] Add operator delete(void *, size_t) for C++14.

---
 headers/private/kernel/util/kernel_cpp.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/headers/private/kernel/util/kernel_cpp.h b/headers/private/kernel/util/kernel_cpp.h
index 728f32e4af..89ac147ecd 100644
--- a/headers/private/kernel/util/kernel_cpp.h
+++ b/headers/private/kernel/util/kernel_cpp.h
@@ -33,6 +33,16 @@ extern void operator delete(void *ptr) throw ();
 extern void operator delete[](void *ptr) throw ();
 #endif
 
+#if __cplusplus >= 201402L
+
+inline void
+operator delete(void *ptr, size_t size) throw ()
+{
+	free(ptr);
+}
+
+#endif // __cplusplus >= 201402L
+
 #endif	// #if _KERNEL_MODE
 
 #endif	// __cplusplus