diff options
| author | Mateusz Naściszewski <matin1111@wp.pl> | 2017-08-28 13:17:26 +0200 |
|---|---|---|
| committer | Mateusz Naściszewski <matin1111@wp.pl> | 2017-08-28 13:17:26 +0200 |
| commit | 1c0f569bb337b8868ed2e77de4c3f14e3bb8c4e6 (patch) | |
| tree | d1c2a652b2daa8e700c0a1d31ec9b892e675ab2f /components/profile/time.rs | |
| parent | ced303b9cbc193b5ebf221cbf2048ac1e7d0d552 (diff) | |
| download | servo-1c0f569bb337b8868ed2e77de4c3f14e3bb8c4e6.tar.gz servo-1c0f569bb337b8868ed2e77de4c3f14e3bb8c4e6.zip | |
Correct sortedness check in profile statistics
Diffstat (limited to 'components/profile/time.rs')
| -rw-r--r-- | components/profile/time.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/profile/time.rs b/components/profile/time.rs index 16495b63d43..2eb48f57a13 100644 --- a/components/profile/time.rs +++ b/components/profile/time.rs @@ -328,7 +328,7 @@ impl Profiler { /// Get tuple (mean, median, min, max) for profiler statistics. pub fn get_statistics(data: &[f64]) -> (f64, f64, f64, f64) { data.iter().fold(-f64::INFINITY, |a, &b| { - debug_assert!(a < b, "Data must be sorted"); + debug_assert!(a <= b, "Data must be sorted"); b }); |