diff options
Diffstat (limited to 'src/session.h')
| -rw-r--r-- | src/session.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/session.h b/src/session.h index bb9c5f7e..82d9981f 100644 --- a/src/session.h +++ b/src/session.h @@ -143,14 +143,14 @@ public: OPTION__ (session_t, file_, // -f - std::list<path> data_files; + std::set<path> data_files; CTOR(session_t, file_) {} DO_(str) { if (parent->flush_on_next_data_file) { data_files.clear(); parent->flush_on_next_data_file = false; } - data_files.push_back(str); + data_files.insert(str); }); OPTION_(session_t, input_date_format_, DO_(str) { |