From 7957434036f3b0142b577d19f6c872c833cc8bc5 Mon Sep 17 00:00:00 2001 From: David Wendt Date: Sun, 5 Jan 2020 00:24:31 -0500 Subject: [PATCH] This is a copy type, copy it --- core/src/xml/document.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/src/xml/document.rs b/core/src/xml/document.rs index cb9557df8..4b8da6420 100644 --- a/core/src/xml/document.rs +++ b/core/src/xml/document.rs @@ -226,7 +226,7 @@ impl<'gc> XMLDocument<'gc> { /// the `id` that were added to the document after the fact, will not be /// returned by this function. pub fn get_node_by_id(self, id: &str) -> Option> { - self.0.read().idmap.get(id).cloned() + self.0.read().idmap.get(id).copied() } /// Retrieve all IDs currently present in the idmap.