From 1e9ffa492f2bc3e86febf488c5e904c444dc4216 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Wed, 1 Sep 2010 08:59:20 +0000
Subject: [PATCH] remove useless test about exactness for int

---
 .../test/Number_types/Sqrt_extension.cpp      | 35 +------------------
 1 file changed, 1 insertion(+), 34 deletions(-)

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<int,int> NT;
-            
-        assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, 
-                        CGAL::Tag_true >::value));
-            
-    }
-    {
-        typedef CGAL::Sqrt_extension<int,double > NT;
-            
-        assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, 
-                        CGAL::Tag_false >::value));
-    }
-    {
-        typedef CGAL::Sqrt_extension<double,int > NT;
-            
-        assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, 
-                        CGAL::Tag_false >::value));
-    }
-    {
-        typedef CGAL::Sqrt_extension<double,double> NT;
-            
-        assert((boost::is_same< CGAL::Algebraic_structure_traits< NT >::Is_exact, 
-                        CGAL::Tag_false >::value));
-    }
-}
-
 template<class NT, class ROOT,class REAL>
 void convert_to_real(){
     typedef CGAL::Sqrt_extension<NT,ROOT> EXT1;
@@ -732,8 +700,7 @@ void sqrt_extension_test(){
   
     general_test<Integer,Integer,CGAL::Integral_domain_tag>();        
     general_test<Rational,Integer,CGAL::Field_tag>(); 
- 
-    is_exact_test();    
+  
     convert_to_real<Integer,Integer,Field_with_sqrt>();
     
     convert_to_bfi<Integer,Integer,typename AT::Bigfloat_interval>();