--- a/src/core/ptr.h	Fri Oct 05 19:13:36 2007 +0100
+++ b/src/core/ptr.h	Mon Oct 08 14:13:58 2007 +0100
@@ -353,7 +353,7 @@
 }
 
 template <typename T>
-bool operator < (Ptr<T> const &lhs, Ptr<T> const &rhs)
+bool operator < (const Ptr<T> &lhs, const Ptr<T> &rhs)
 {
   return PeekPointer<T> (lhs) < PeekPointer<T> (rhs);
 }