From 213852c4743691c930120c5e4c6d535dfd02f481 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Wed, 22 Jan 2020 10:33:51 +0100
Subject: [PATCH] Forgot Classification

---
 .../CGAL/Classification/ETHZ/internal/random-forest/forest.hpp  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Classification/include/CGAL/Classification/ETHZ/internal/random-forest/forest.hpp b/Classification/include/CGAL/Classification/ETHZ/internal/random-forest/forest.hpp
index 67c4d4bb562..93af45cefd6 100644
--- a/Classification/include/CGAL/Classification/ETHZ/internal/random-forest/forest.hpp
+++ b/Classification/include/CGAL/Classification/ETHZ/internal/random-forest/forest.hpp
@@ -38,7 +38,7 @@
 #include <tbb/parallel_for.h>
 #include <tbb/blocked_range.h>
 #include <tbb/scalable_allocator.h>
-#include <tbb/mutex.h>
+#include <mutex>
 #endif // CGAL_LINKED_WITH_TBB