From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 19:45:44 +0000 (+0200)
Subject: remove unecessary into_iter
X-Git-Tag: v0.10.0~35^2~1^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e7600884fb5e6ad0181f6843240e1fd44d31789d;p=scryer-prolog.git

remove unecessary into_iter
---

diff --git a/src/machine/machine_indices.rs b/src/machine/machine_indices.rs
index 3c918883..7f7bfe35 100644
--- a/src/machine/machine_indices.rs
+++ b/src/machine/machine_indices.rs
@@ -526,7 +526,7 @@ impl IndexStore {
         &'a self,
         range: R,
     ) -> impl Iterator<Item = Stream> + 'a {
-        self.streams.range(range).into_iter().copied()
+        self.streams.range(range).copied()
     }
 
     /// Forcibly sets `alias` to `stream`.