diff --git a/CGAL_Core/include/CGAL/CORE/CoreAux_impl.h b/CGAL_Core/include/CGAL/CORE/CoreAux_impl.h
index a0e2703a083..763917d05f6 100644
--- a/CGAL_Core/include/CGAL/CORE/CoreAux_impl.h
+++ b/CGAL_Core/include/CGAL/CORE/CoreAux_impl.h
@@ -40,6 +40,7 @@
 #define CGAL_INLINE_FUNCTION
 #endif
 
+#include <CGAL/use.h>
 #include <CGAL/CORE/CoreAux.h>
 #include <gmp.h>