diff --git a/Arithmetic_kernel/include/CGAL/CORE_arithmetic_kernel.h b/Arithmetic_kernel/include/CGAL/CORE_arithmetic_kernel.h
index 3fc908252ac..600092834e5 100644
--- a/Arithmetic_kernel/include/CGAL/CORE_arithmetic_kernel.h
+++ b/Arithmetic_kernel/include/CGAL/CORE_arithmetic_kernel.h
@@ -54,16 +54,6 @@ public:
 
 };
 
-#if 0
-template <>
-struct Get_arithmetic_kernel<CORE::BigInt>{
-  typedef CORE_arithmetic_kernel Arithmetic_kernel;
-};
-template <>
-struct Get_arithmetic_kernel<CORE::BigRat>{
-  typedef CORE_arithmetic_kernel Arithmetic_kernel;
-};
-#endif
 
 template <>
 struct Get_arithmetic_kernel<CORE::Expr>{