diff options
| author | Nils Maier <maierman@web.de> | 2016-07-31 02:18:43 +0200 |
|---|---|---|
| committer | Nils Maier <maierman@web.de> | 2016-08-29 16:52:20 +0200 |
| commit | 366e2e8f795e82e2c8472bcf1cd0a892550789a9 (patch) | |
| tree | e00f9d25494c412b04234cda11caf79bfc73fcbf /src/TimeSeedCriteria.cc | |
| parent | 08f4b5e4f41b343753d440f32ccc213c40f3726b (diff) | |
Use default where possible
Diffstat (limited to 'src/TimeSeedCriteria.cc')
| -rw-r--r-- | src/TimeSeedCriteria.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/TimeSeedCriteria.cc b/src/TimeSeedCriteria.cc index f6c0c145..448359be 100644 --- a/src/TimeSeedCriteria.cc +++ b/src/TimeSeedCriteria.cc @@ -42,7 +42,7 @@ TimeSeedCriteria::TimeSeedCriteria(std::chrono::seconds duration) { } -TimeSeedCriteria::~TimeSeedCriteria() {} +TimeSeedCriteria::~TimeSeedCriteria() = default; void TimeSeedCriteria::reset() { watch_ = global::wallclock(); } |