diff --git a/Interval_support/test/Interval_support/Bigfloat_interval_traits.cpp b/Interval_support/test/Interval_support/Bigfloat_interval_traits.cpp
index 20b2c79933f..f9aea1db714 100644
--- a/Interval_support/test/Interval_support/Bigfloat_interval_traits.cpp
+++ b/Interval_support/test/Interval_support/Bigfloat_interval_traits.cpp
@@ -4,24 +4,12 @@
 #include <CGAL/Test/_test_bigfloat_interval_traits.h>
 
 int main(){ 
-  
-#ifdef CGAL_HAS_CORE_ARITHMETIC_KERNEL
-  {
-    std::cerr << " CORE test .." << std::flush;
-    typedef CGAL::CORE_arithmetic_kernel AK; 
-    CGAL::test_bigfloat_interval_traits<AK::Bigfloat_interval>(); 
-    std::cerr << " done " << std::endl;
-  }
-#else
-    std::cerr << " CORE test .. skipped " << std::endl;
-#endif // CGAL_HAS_CORE_ARITHMETIC_KERNEL
     
-
 #ifdef CGAL_HAS_GMP_ARITHMETIC_KERNEL
   {
     std::cerr << " GMP  test .." << std::flush;
     typedef CGAL::GMP_arithmetic_kernel AK; 
-    // CGAL::test_bigfloat_interval_traits<AK::Bigfloat_interval>(); 
+    CGAL::test_bigfloat_interval_traits<AK::Bigfloat_interval>(); 
     std::cerr << " done " << std::endl;
   }
 #else
@@ -40,6 +28,18 @@ int main(){
     std::cerr << " LEDA test .. skipped " << std::endl;
 #endif // CGAL_HAS_LEDA_ARITHMETIC_KERNEL
     
+
+#ifdef CGAL_HAS_CORE_ARITHMETIC_KERNEL
+  {
+    std::cerr << " CORE test .." << std::flush;
+    typedef CGAL::CORE_arithmetic_kernel AK; 
+    CGAL::test_bigfloat_interval_traits<AK::Bigfloat_interval>(); 
+    std::cerr << " done " << std::endl;
+  }
+#else
+    std::cerr << " CORE test .. skipped " << std::endl;
+#endif // CGAL_HAS_CORE_ARITHMETIC_KERNEL
+
     return 0; 
 }