From 00e268cdbfd1dde8c311fca3f22d49e51daeaffe Mon Sep 17 00:00:00 2001
From: Jordi Boggiano <j.boggiano@seld.be>
Date: Thu, 13 Aug 2020 16:45:43 +0200
Subject: [PATCH] Clear Intervals cache when we are done with it

---
 src/Composer/DependencyResolver/PoolBuilder.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Composer/DependencyResolver/PoolBuilder.php b/src/Composer/DependencyResolver/PoolBuilder.php
index 9561bb73f..416a8d1dd 100644
--- a/src/Composer/DependencyResolver/PoolBuilder.php
+++ b/src/Composer/DependencyResolver/PoolBuilder.php
@@ -238,6 +238,8 @@ class PoolBuilder
         $this->skippedLoad = array();
         $this->indexCounter = 0;
 
+        Intervals::clear();
+
         return $pool;
     }