Vector::pop_back returns void now; don't save the old value

diff --git a/src/base/Vector.h b/src/base/Vector.h
index 3e9207017b541b64592f4dbc2398c62dd9abca5e..96b661fc7c24d2c1501d2f8f026f8a1578a3fdcd 100644 (file)
--- a/src/base/Vector.h
+++ b/src/base/Vector.h
@@ -247,7 +247,7 @@ void
 Vector<E>::pop_back()
 {
     assert (size());
-    value_type result = items[--count];
+    --count;
     items[count] = value_type();
 }