diff --git a/Arithmetic_kernel/include/CGAL/Arithmetic_kernel.h b/Arithmetic_kernel/include/CGAL/Arithmetic_kernel.h
index 5e7974a24b6..6af47ab9599 100644
--- a/Arithmetic_kernel/include/CGAL/Arithmetic_kernel.h
+++ b/Arithmetic_kernel/include/CGAL/Arithmetic_kernel.h
@@ -56,7 +56,7 @@ typedef GMP_arithmetic_kernel Arithmetic_kernel;
 #endif // CGAL_HAS_DEFAULT_ARITHMETIC_KERNEL
 
 #ifndef CGAL_HAS_DEFAULT_ARITHMETIC_KERNEL
-#if defined(CGAL_HAS_LEDA_ARITHMETIC_KERNEL) 
+#if defined(CGAL_HAS_CORE_ARITHMETIC_KERNEL) 
 typedef CORE_arithmetic_kernel Arithmetic_kernel;
 #define CGAL_HAS_DEFAULT_ARITHMETIC_KERNEL 1
 #endif // CGAL_USE_CORE