auto merge of #5114 : psdh/servo/foldsum, r=jdm

Fix #5109

1 files changed, 2 insertions, 1 deletions

diff --git a/components/util/memory.rs b/components/util/memory.rs
index e5e20d4cc94..c309cdbb4ed 100644
--- a/components/util/memory.rs
+++ b/components/util/memory.rs
@@ -7,6 +7,7 @@
 use libc::{c_char,c_int,c_void,size_t};
 use std::borrow::ToOwned;
 use std::ffi::CString;
+use std::iter::AdditiveIterator;
 use std::old_io::timer::sleep;
 #[cfg(target_os="linux")]
 use std::old_io::File;
@@ -380,7 +381,7 @@ fn get_resident_segments() -> Vec<(String, u64)> {
     // from the "resident" measurement obtained via /proc/<pid>/statm in
     // get_resident(). It's unclear why this difference occurs; for some
     // processes the measurements match, but for Servo they do not.
-    let total = segs.iter().fold(0u64, |total, &(_, size)| total + size);
+    let total = segs.iter().map(|&(_, size)| size).sum();
     segs.push(("resident-according-to-smaps".to_owned(), total));
 
     // Sort by size; the total will be first.