diff --git a/Triangulation_3/benchmark/Triangulation_3/Triangulation_benchmark_3.cpp b/Triangulation_3/benchmark/Triangulation_3/Triangulation_benchmark_3.cpp
index a523d9cf36a..0f850661b19 100644
--- a/Triangulation_3/benchmark/Triangulation_3/Triangulation_benchmark_3.cpp
+++ b/Triangulation_3/benchmark/Triangulation_3/Triangulation_benchmark_3.cpp
@@ -66,13 +66,23 @@ using namespace CGAL;
 // - or EPIC (the default)
 #ifdef SC_DOUBLE
 typedef Simple_cartesian<double>                       K;
+#elif C_LEDA
+#include <CGAL/leda_rational.h>
+#include <CGAL/Cartesian.h>
+typedef Cartesian<leda_rational> K;
 #elif defined(ONLY_STATIC_FILTERS)
 typedef CGAL::internal::Static_filters<CGAL::Simple_cartesian<double> > K;
 #elif defined(EPEC)
 #  ifdef CGAL_DONT_USE_LAZY_KERNEL
 typedef Epeck K;
 #  else
+#ifdef CGAL_USE_LEDA
+#include <CGAL/leda_rational.h>
+#include <CGAL/Cartesian.h>
+typedef Cartesian<leda_rational> SK;
+#else 
 typedef Simple_cartesian<Gmpq> SK;
+#endif
 typedef Lazy_kernel<SK> K;
 #  endif
 #else // EPIC