From a572cbed3d7a947b19f85a86249401c97a42f2f9 Mon Sep 17 00:00:00 2001 From: Michael Kerber Date: Thu, 27 Mar 2008 10:01:11 +0000 Subject: [PATCH] CORE instead of LEDA --- .../benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ) {