From 6b96aa4f277cab4903cc0292f92c22662f7578e9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 1 Aug 2017 18:04:07 +0200
Subject: [PATCH] is_unabiguous: fix incorrect vector usage

* spot/twaalgos/isunamb.cc: Actually set the size of the vector
instead of just reserving the size.
---
 spot/twaalgos/isunamb.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spot/twaalgos/isunamb.cc b/spot/twaalgos/isunamb.cc
index fe22ce140..2427f88f9 100644
--- a/spot/twaalgos/isunamb.cc
+++ b/spot/twaalgos/isunamb.cc
@@ -89,8 +89,7 @@ namespace spot
     // derive the usefulness from that.
     scc_info sccmap_prod(prod);
     unsigned psc = sccmap_prod.scc_count();
-    std::vector<bool> useful;
-    useful.reserve(psc);
+    std::vector<bool> useful(psc);
     for (unsigned n = 0; n < psc; ++n)
       {
         unsigned one_state = sccmap_prod.states_of(n).front();