From 5467fa1622a36058dd4082148c32cdb8ffef0031 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 23 Dec 2017 09:13:28 +0100
Subject: [PATCH] * spot/twaalgos/stutter.cc (highlight_vector): Replace
 existing colors.

---
 spot/twaalgos/stutter.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/stutter.cc b/spot/twaalgos/stutter.cc
index 1af7880f2..a371c1499 100644
--- a/spot/twaalgos/stutter.cc
+++ b/spot/twaalgos/stutter.cc
@@ -851,7 +851,7 @@ namespace spot
       unsigned n = v.size();
       for (unsigned i = 0; i < n; ++i)
         if (v[i])
-          hs->emplace(i, color);
+          (*hs)[i] = color;
     }
   }