diff --git a/Number_types/test/Number_types/CMakeLists.txt b/Number_types/test/Number_types/CMakeLists.txt
index 4f4cd1ab3b6..68ff96cb432 100644
--- a/Number_types/test/Number_types/CMakeLists.txt
+++ b/Number_types/test/Number_types/CMakeLists.txt
@@ -68,6 +68,7 @@ if ( CGAL_FOUND )
   create_single_source_cgal_program( "to_interval_test.cpp" )
   create_single_source_cgal_program( "unsigned.cpp" )
   create_single_source_cgal_program( "utilities.cpp" )
+  find_package( GMP )
   if( GMP_FOUND )
     create_single_source_cgal_program( "CORE_Expr_ticket_4296.cpp" )
     find_package( MPFI )