---

yaml
---
r: 35557
b: refs/heads/master
c: cf1c3d2
h: refs/heads/master
i:
  35555: 89a77f5
v: v3

Author: jesse99

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: fc740a729721d5063be367de99b5fcb62a99f2d7
+refs/heads/master: cf1c3d2da0cb6ebc4c34c122cde3a76523417ed4
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024

trunk/src/rt/util/indexed_list.h

@@ -17,6 +17,7 @@
 
 class indexed_list_object {
 public:
+    virtual ~indexed_list_object() {}
     int32_t list_index;
 };
 
@@ -39,22 +40,22 @@ class indexed_list_element : public indexed_list_object {
 template<typename T> class indexed_list {
     array_list<T*> list;
 public:
-    virtual int32_t append(T *value);
-    virtual bool pop(T **value);
+    int32_t append(T *value);
+    bool pop(T **value);
     /**
      * Same as pop(), except that it returns NULL if the list is empty.
      */
-    virtual T* pop_value();
-    virtual size_t length() const {
+    T* pop_value();
+    size_t length() const {
         return list.size();
     }
-    virtual bool is_empty() const {
+    bool is_empty() const {
         return list.is_empty();
     }
-    virtual int32_t remove(T* value);
-    virtual T * operator[](int32_t index);
-    virtual const T * operator[](int32_t index) const;
-    virtual ~indexed_list() {}
+    int32_t remove(T* value);
+    T * operator[](int32_t index);
+    const T * operator[](int32_t index) const;
+    ~indexed_list() {}
 };
 
 template<typename T> int32_t