commit 7429390ec771933331ab56b81b34ec7da103a120
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Dec 23 18:48:07 2017 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Dec 23 18:50:06 2017 -0500
tree dc1689a8949e0706f946bcba8c949ae7ea19dc72
parent 4d0d096b2e4ab59dccb0119cf394435dc1f7c555

regex: use a vector in RegexComponentSetMatcher

Change-Id: Iec466b477144a7332d2f1992691601c738dfc3df
Refs: #4120

src/util/regex/regex-component-set-matcher.cpp

diff --git a/src/util/regex/regex-component-set-matcher.cpp b/src/util/regex/regex-component-set-matcher.cpp
index 8e39794..bc922dd 100644
--- a/src/util/regex/regex-component-set-matcher.cpp
+++ b/src/util/regex/regex-component-set-matcher.cpp
@@ -68,8 +68,7 @@
   if (m_expr.size() != end)
     BOOST_THROW_EXCEPTION(Error("Component expr error " + m_expr));
 
-  m_components.insert(make_shared<RegexComponentMatcher>(m_expr.substr(1, end - 2),
-                                                         m_backrefManager));
+  m_components.push_back(make_shared<RegexComponentMatcher>(m_expr.substr(1, end - 2), m_backrefManager));
 }
 
 void
@@ -84,8 +83,8 @@
 
     tempIndex = index + 1;
     index = extractComponent(tempIndex);
-    m_components.insert(make_shared<RegexComponentMatcher>(m_expr.substr(tempIndex, index - tempIndex - 1),
-                                                           m_backrefManager));
+    m_components.push_back(make_shared<RegexComponentMatcher>(m_expr.substr(tempIndex, index - tempIndex - 1),
+                                                              m_backrefManager));
   }
 
   if (index != lastIndex)