diff --git a/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp b/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
index 08a62d0abb0..671b82f7a04 100644
--- a/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
+++ b/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
@@ -363,7 +363,7 @@ void single_benchmark( std::string filename, std::string rep_class, std::string
 
 int main( int argc, char** argv ) {
 
-    typedef CGAL::LEDA_arithmetic_kernel Arithmetic_kernel;
+    typedef CGAL::CORE_arithmetic_kernel Arithmetic_kernel;
     typedef Arithmetic_kernel::Integer Integer;
 
     if( argc > 1 ) {