diff -r 70efb51875a4 -r 351b10fb2a3d src/sim/eventq.hh
--- a/src/sim/eventq.hh	Fri Jan 25 05:36:42 2013 -0600
+++ b/src/sim/eventq.hh	Fri Jan 25 05:37:47 2013 -0600
@@ -296,16 +296,6 @@
     Priority priority() const { return _priority; }
 
 #ifndef SWIG
-    struct priority_compare
-        : public std::binary_function<Event *, Event *, bool>
-    {
-        bool
-        operator()(const Event *l, const Event *r) const
-        {
-            return l->when() >= r->when() || l->priority() >= r->priority();
-        }
-    };
-
     virtual void serialize(std::ostream &os);
     virtual void unserialize(Checkpoint *cp, const std::string &section);
 #endif