From 88c6dc27e4e6493fcea1ac708b3eb46c2f9526a2 Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Wed, 12 Aug 2020 15:33:24 +0100
Subject: [PATCH] Use plain array instead of set for resource record parents
 array

---
 renderdoc/core/resource_manager.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/renderdoc/core/resource_manager.h b/renderdoc/core/resource_manager.h
index 0506c1bb3..30cb853cc 100644
--- a/renderdoc/core/resource_manager.h
+++ b/renderdoc/core/resource_manager.h
@@ -332,10 +332,10 @@ struct ResourceRecord
     if(r == this)
       return;
 
-    if(Parents.find(r) == Parents.end())
+    if(Parents.indexOf(r) < 0)
     {
       r->AddRef();
-      Parents.insert(r);
+      Parents.push_back(r);
     }
   }
 
@@ -503,7 +503,7 @@ protected:
 
   ResourceId ResID;
 
-  std::set<ResourceRecord *> Parents;
+  rdcarray<ResourceRecord *> Parents;
 
   int64_t GetID()
   {