CORE instead of LEDA

This commit is contained in:
Michael Kerber 2008-03-27 10:01:11 +00:00
parent cd59ac2d67
commit a572cbed3d
1 changed files with 1 additions and 1 deletions

View File

@ -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 ) {