diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/value.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/value.h b/src/value.h index da6e2ed6..ec0a329a 100644 --- a/src/value.h +++ b/src/value.h @@ -795,14 +795,7 @@ public: *this = sequence_t(); if (! is_sequence()) in_place_cast(SEQUENCE); - - if (! val.is_sequence()) { - as_sequence_lval().push_back(val); - } else { - const sequence_t& val_seq(val.as_sequence()); - std::copy(val_seq.begin(), val_seq.end(), - back_inserter(as_sequence_lval())); - } + as_sequence_lval().push_back(val); } } |