Simplify adding items to lists, and fix Jamfile build failure.

This commit is contained in:
jzmaddock
2017-02-20 13:44:24 +00:00
parent ae9f38e178
commit 94cd9e582b
2 changed files with 5 additions and 5 deletions

View File

@ -84,8 +84,8 @@ public:
}
void add_range(const digraph_type& first, const digraph_type& end)
{
m_ranges.insert(m_ranges.end(), first);
m_ranges.insert(m_ranges.end(), end);
m_ranges.push_back(first);
m_ranges.push_back(end);
if(first.second)
{
m_has_digraphs = true;
@ -110,7 +110,7 @@ public:
}
void add_equivalent(const digraph_type& s)
{
m_equivalents.insert(m_equivalents.end(), s);
m_equivalents.insert(s);
if(s.second)
{
m_has_digraphs = true;