From 50f040530bdb5db556d57eab3d4d639efed23764 Mon Sep 17 00:00:00 2001 From: Greg Fitzgerald Date: Fri, 7 Sep 2018 10:00:20 -0600 Subject: [PATCH] Remove redundant cast --- src/window.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/window.rs b/src/window.rs index c3e0591137..660b12b4ee 100644 --- a/src/window.rs +++ b/src/window.rs @@ -65,7 +65,7 @@ fn find_next_missing( return None; } - let val = crdt.read().unwrap().window_index_request(pix as u64); + let val = crdt.read().unwrap().window_index_request(pix); val.ok() }) .collect()