From 0b5f63c2960db5888161d23e059c827db3cd6ea0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 11 Feb 2014 10:05:57 +0100
Subject: [PATCH] Add missing const.

* src/kripke/kripkeexplicit.cc: Add missing const, reported by Etienne
Renault using Apple's clang version that is installed with OS X 10.9.
---
 src/kripke/kripkeexplicit.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/kripke/kripkeexplicit.cc b/src/kripke/kripkeexplicit.cc
index e84bf80e3..002602160 100644
--- a/src/kripke/kripkeexplicit.cc
+++ b/src/kripke/kripkeexplicit.cc
@@ -1,5 +1,6 @@
-// Copyright (C) 2011, 2012 Laboratoire de Recherche et Developpement
-// de l'Epita (LRDE)
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2012, 2014 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE)
 //
 // This file is part of Spot, a model checking library.
 //
@@ -247,7 +248,7 @@ namespace spot
   void kripke_explicit::add_transition(std::string source,
                                        std::string dest)
   {
-    std::map<std::string, state_kripke*>::iterator destination
+    std::map<const std::string, state_kripke*>::iterator destination
       = ns_nodes_.find(dest);
 
     if (ns_nodes_.find(dest) == ns_nodes_.end())