From c67d1a7c5e5e12abc67f295d02977e3eea57232a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jean-Philippe=20Bruy=C3=A8re?= <jp_bruyere@hotmail.com>
Date: Sat, 20 Nov 2021 22:25:05 +0100
Subject: [PATCH] dont unpin deviceExt list if not pinned

---
 vke/src/base/Device.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vke/src/base/Device.cs b/vke/src/base/Device.cs
index 434a3ab..6560165 100644
--- a/vke/src/base/Device.cs
+++ b/vke/src/base/Device.cs
@@ -86,7 +86,8 @@ namespace vke {
 			foreach (List<float> fa in prioritiesLists)
 				fa.Unpin ();
 
-			deviceExtensions.Unpin ();
+			if (deviceExtensions.Count > 0)
+				deviceExtensions.Unpin ();
 
 			//Vk.LoadDeviceFunctionPointers (dev);
 
-- 
2.47.3