From 1581a94c65e4ee6648858864cefd2fd6c0d2d990 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 24 Jun 2013 23:34:07 +0200
Subject: [PATCH] * src/misc/unique_ptr.hh: Add missing operator->() const.

---
 src/misc/unique_ptr.hh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/misc/unique_ptr.hh b/src/misc/unique_ptr.hh
index c5bc99351..61fc02741 100644
--- a/src/misc/unique_ptr.hh
+++ b/src/misc/unique_ptr.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012 Laboratoire de Recherche et
+// Copyright (C) 2012, 2013 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -28,6 +28,7 @@ namespace spot
   class unique_ptr
   {
     typedef T* pointer;
+    typedef const T* const_pointer;
   public:
     unique_ptr(pointer ptr)
       : ptr_(ptr)
@@ -50,6 +51,12 @@ namespace spot
       return ptr_;
     }
 
+    const_pointer
+    operator->() const
+    {
+      return ptr_;
+    }
+
   private:
     pointer ptr_;