fixed bad_alloc

MasWag · Sep 17, 2019 · 45ee7ff · 45ee7ff
1 parent 00929dc
commit 45ee7ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/monaa/tre.cc b/monaa/tre.cc
@@ -200,7 +200,7 @@ void TRE::toEventTA(TimedAutomaton &out) const {
       regExpr->toEventTA(out);
       for (auto &s: out.states) {
         for (auto &edges: s->next) {
-          for (auto &edge: edges.second) {
+          for (auto edge: edges.second) {
             TAState *target = edge.target;
             if (target && target->isMatch) {
               edges.second.reserve(edges.second.size() + out.initialStates.size());