From e80877a77b47a37f835601c4a6e456e023f63653 Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Fri, 19 Jul 2019 10:55:01 +0200
Subject: [PATCH] Fix "Cannot declare class because the name is already in use"
 errors

---
 src/Flex.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Flex.php b/src/Flex.php
index 704f98a71..ec0717ecd 100644
--- a/src/Flex.php
+++ b/src/Flex.php
@@ -95,10 +95,10 @@ public function activate(Composer $composer, IOInterface $io)
         }
 
         // to avoid issues when Flex is upgraded, we load all PHP classes now
-        // that way, we are sure to use all files from the same version
+        // that way, we are sure to use all classes from the same version
         foreach (new \RecursiveIteratorIterator(new \RecursiveDirectoryIterator(__DIR__, \FilesystemIterator::SKIP_DOTS)) as $file) {
             if ('.php' === substr($file, -4)) {
-                require_once $file;
+                class_exists(__NAMESPACE__.str_replace('/', '\\', substr($file, \strlen(__DIR__), -4)));
             }
         }