Commit 5467fa16 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* spot/twaalgos/stutter.cc (highlight_vector): Replace existing colors.

parent 8579bedf
......@@ -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;
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment