From 7f73dbdcca3c2dc2daafb0fb5339d81c20f4916f Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Thu, 8 Mar 2007 14:57:41 +0000
Subject: [PATCH] added test for Sqrt_extension<int,int>

---
 Number_types/test/Number_types/utilities.cpp | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/Number_types/test/Number_types/utilities.cpp b/Number_types/test/Number_types/utilities.cpp
index 6c9494d6de3..2dc5cb176c9 100644
--- a/Number_types/test/Number_types/utilities.cpp
+++ b/Number_types/test/Number_types/utilities.cpp
@@ -1,7 +1,10 @@
-
-
 #include <CGAL/basic.h>
 
+// TODO: solve conflict of CORE with GMPXX
+#ifdef CGAL_USE_CORE
+#undef CGAL_USE_GMPXX
+#endif 
+
 #include <CGAL/Quotient.h> 
 #include <CGAL/MP_Float.h> 
 #include <CGAL/Lazy_exact_nt.h> 
@@ -108,12 +111,14 @@ int main()
 
        // TEST Sqrt_extension 
 #ifdef CGAL_USE_GMP
+      typedef CGAL::Sqrt_extension<int,int> Ext_int;
+      TESTIT(Ext_int     , "CGAL::Sqrt_extension<CGAL::Gmpz,CGAL::Gmpz>");
       typedef CGAL::Sqrt_extension<CGAL::Gmpz,CGAL::Gmpz> Ext_int_int;
-      TESTIT(Ext_int_int, "CGAL::Sqrt_extension<CGAL::Gmpz,CGAL::Gmpz>");
+      TESTIT(Ext_int_int , "CGAL::Sqrt_extension<CGAL::Gmpz,CGAL::Gmpz>");
       typedef CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpz> Ext_rat_int;
-      TESTIT(Ext_rat_int, "CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpz>");
+      TESTIT(Ext_rat_int , "CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpz>");
       typedef CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpq> Ext_rat_rat;
-      TESTIT(Ext_rat_rat, "CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpq>");
+      TESTIT(Ext_rat_rat , "CGAL::Sqrt_extension<CGAL::Gmpq,CGAL::Gmpq>");
 #endif // CGAL_USE_GMP