From fab9df7825012bce102c3533b91a74bc441d47f3 Mon Sep 17 00:00:00 2001
From: "Gustavo J. A. M. Carneiro" <gjc@inescporto.pt>
Date: Mon, 8 Oct 2007 14:13:58 +0100
Subject: [PATCH] Use 'const Ptr<T>' rather than 'Ptr<T> const'

---
 src/core/ptr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/ptr.h b/src/core/ptr.h
index 8c7b32c85..62f536f34 100644
--- a/src/core/ptr.h
+++ b/src/core/ptr.h
@@ -353,7 +353,7 @@ operator != (Ptr<T1> const &lhs, Ptr<T2> const &rhs)
 }
 
 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);
 }