---

brson · brson · commit 37b29bd340d8 · 2013-01-14T14:11:26.000-08:00
yaml --- r: 41751 b: refs/heads/master c: 0ca369e h: refs/heads/master i: 41749: f952907 41747: 1ad5113 41743: 73dc31b v: v3
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 3962dec67cc8f48b47c7efce29416144365d772c
+refs/heads/master: 0ca369e9dc5f6ea0ba0c38d047e8d931badfc82c
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 2f46b763da2c098913884f101b6d71d69af41b49
 refs/heads/try: 3d5418789064fdb463e872a4e651af1c628a3650
diff --git a/trunk/src/libcore/vec.rs b/trunk/src/libcore/vec.rs
@@ -895,9 +895,8 @@ pub fn retain<T>(v: &mut ~[T], f: pure fn(t: &T) -> bool) {
         }
     }
 
-    while deleted > 0 {
-        v.pop();
-        deleted -= 1;
+    if deleted > 0 {
+        v.truncate(len - deleted);
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -895,9 +895,8 @@ pub fn retain<T>(v: &mut ~[T], f: pure fn(t: &T) -> bool) {`
`895`	`895`	`}`
`896`	`896`	`}`
`897`	`897`
`898`		`- while deleted > 0 {`
`899`		`- v.pop();`
`900`		`- deleted -= 1;`
	`898`	`+ if deleted > 0 {`
	`899`	`+ v.truncate(len - deleted);`
`901`	`900`	`}`
`902`	`901`	`}`
`903`	`902`