From 5cd7d040ffa39937a5c61b5c0bd0fd9fcca0de10 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Sat, 12 Aug 2017 12:15:41 -0600
Subject: [PATCH] Remove unnecessary mut
---
src/launcher/main.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/launcher/main.rs b/src/launcher/main.rs
index ecbf585..bd43a7f 100644
--- a/src/launcher/main.rs
+++ b/src/launcher/main.rs
@@ -442,7 +442,7 @@ fn bar_main() {
event_queue.run().expect("launcher: failed to run event loop");
- for mut child in bar.borrow_mut().children.iter_mut() {
+ for child in bar.borrow_mut().children.iter_mut() {
let pid = child.id();
match child.kill() {
Ok(()) => (),
--
GitLab