From 94fe1436f143604091f3be4255ff46eeb6b77bf7 Mon Sep 17 00:00:00 2001
From: Zakor Gyula <gyula.zakor@h-lab.eu>
Date: Mon, 13 Jan 2020 14:36:14 +0100
Subject: [PATCH] Fix missing memory allocator disposal

---
 wgpu-core/src/device/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wgpu-core/src/device/mod.rs b/wgpu-core/src/device/mod.rs
index 1115d9d2c4..e938fe9055 100644
--- a/wgpu-core/src/device/mod.rs
+++ b/wgpu-core/src/device/mod.rs
@@ -448,8 +448,10 @@ impl<B: hal::Backend> Device<B> {
     pub(crate) fn dispose(self) {
         self.com_allocator.destroy(&self.raw);
         let desc_alloc = self.desc_allocator.into_inner();
+        let mem_alloc = self.mem_allocator.into_inner();
         unsafe {
             desc_alloc.dispose(&self.raw);
+            mem_alloc.dispose(&self.raw);
         }
     }
 }