From 368b072336fe2f40f82fa260fc722d9f5a465dbb Mon Sep 17 00:00:00 2001 From: "Jobczyk, Lukasz" Date: Wed, 30 Oct 2019 14:25:58 +0100 Subject: [PATCH] Fix a wddm destructor Change-Id: Ieaf9a17e59157af01a8a538c0310753023208c2b Signed-off-by: Jobczyk, Lukasz --- runtime/os_interface/windows/wddm/wddm.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/runtime/os_interface/windows/wddm/wddm.cpp b/runtime/os_interface/windows/wddm/wddm.cpp index 80b22383ac..820fa7b73c 100644 --- a/runtime/os_interface/windows/wddm/wddm.cpp +++ b/runtime/os_interface/windows/wddm/wddm.cpp @@ -77,6 +77,7 @@ Wddm::Wddm() { } Wddm::~Wddm() { + temporaryResources.reset(); resetPageTableManager(nullptr); destroyPagingQueue(); destroyDevice();