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; } }