From 084549a2b0c62ffcbb55974454b16ed84ae3a4f9 Mon Sep 17 00:00:00 2001
From: taubenangriff <51975164+taubenangriff@users.noreply.github.com>
Date: Thu, 7 Mar 2024 23:40:34 +0100
Subject: [PATCH] Don't do toddler things

---
 src/Interpreting/XmlDocumentMarking.cs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Interpreting/XmlDocumentMarking.cs b/src/Interpreting/XmlDocumentMarking.cs
index 0cf3629..521a4a2 100644
--- a/src/Interpreting/XmlDocumentMarking.cs
+++ b/src/Interpreting/XmlDocumentMarking.cs
@@ -1,15 +1,13 @@
 using System;
 using System.Collections.Generic;
 using System.Linq;
-using System.Text;
-using System.Threading.Tasks;
 using System.Xml;
 
 namespace FileDBReader.src
 {
     public class XmlDocumentMarking
     {
-        private List<XmlNode> unmarked;
+        private HashSet<XmlNode> unmarked;
         XmlDocument OriginalDocument;
 
         private XmlDocumentMarking()
@@ -52,7 +50,7 @@ public static XmlDocumentMarking InitFrom(XmlDocument doc)
         {
             XmlDocumentMarking marking = new XmlDocumentMarking();
             marking.OriginalDocument = doc;
-            marking.unmarked = doc.SelectNodes("//*[text()]").Cast<XmlNode>().ToList();
+            marking.unmarked = doc.SelectNodes("//*[text()]").Cast<XmlNode>().ToHashSet();
             return marking;
         }