Adding resource interval

2022-09-29 11:41:45 -03:00
parent 00bf07db2b
commit 9cd2be5255
3 changed files with 69 additions and 1 deletions
@@ -91,7 +91,7 @@ impl IntervalSet {
    }

    pub fn merge(&mut self, other: &IntervalSet) {
-        self.0.extend(other.0.clone());
+        self.0.extend(other.0.iter().cloned());
        self.coalesce();
    }