diff --git a/Polynomial/test/Polynomial/test_polynomial_Get_arithmetic_kernel.cpp b/Polynomial/test/Polynomial/test_polynomial_Get_arithmetic_kernel.cpp
index 4e84d506d3e..2513660179d 100644
--- a/Polynomial/test/Polynomial/test_polynomial_Get_arithmetic_kernel.cpp
+++ b/Polynomial/test/Polynomial/test_polynomial_Get_arithmetic_kernel.cpp
@@ -4,7 +4,7 @@
 
 template<class AK>
 void test_get_arithmetic_kernel(){
-  typedef typename AK::Integer Integer;
+  CGAL_assertion_code(typedef typename AK::Integer Integer);
   {
     CGAL_assertion_code(typedef CGAL::Polynomial<Integer> POLY;)
     CGAL_assertion_code(typedef typename CGAL::Get_arithmetic_kernel<POLY>::Arithmetic_kernel AK_;)