From 1c0f569bb337b8868ed2e77de4c3f14e3bb8c4e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mateusz=20Na=C5=9Bciszewski?= <matin1111@wp.pl>
Date: Mon, 28 Aug 2017 13:17:26 +0200
Subject: [PATCH] Correct sortedness check in profile statistics

---
 components/profile/time.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
         });