diff --git a/Number_types/test/Number_types/Sqrt_extension.cpp b/Number_types/test/Number_types/Sqrt_extension.cpp index d7387c90c8f..2451a01714a 100644 --- a/Number_types/test/Number_types/Sqrt_extension.cpp +++ b/Number_types/test/Number_types/Sqrt_extension.cpp @@ -131,38 +131,6 @@ void io_test(){ EXT(0).output_maple(os); // no real test just to instantiate code } -void is_exact_test(){ - - typedef CGAL::Tag_true T; - typedef CGAL::Tag_false F; - - { - typedef CGAL::Sqrt_extension NT; - - assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, - CGAL::Tag_true >::value)); - - } - { - typedef CGAL::Sqrt_extension NT; - - assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, - CGAL::Tag_false >::value)); - } - { - typedef CGAL::Sqrt_extension NT; - - assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, - CGAL::Tag_false >::value)); - } - { - typedef CGAL::Sqrt_extension NT; - - assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, - CGAL::Tag_false >::value)); - } -} - template void convert_to_real(){ typedef CGAL::Sqrt_extension EXT1; @@ -732,8 +700,7 @@ void sqrt_extension_test(){ general_test(); general_test(); - - is_exact_test(); + convert_to_real(); convert_to_bfi();