diff --git a/Kernel_23/test/Kernel_23/test_Has_conversion.cpp b/Kernel_23/test/Kernel_23/test_Has_conversion.cpp
index c6f393a502d..2ef8186000a 100644
--- a/Kernel_23/test/Kernel_23/test_Has_conversion.cpp
+++ b/Kernel_23/test/Kernel_23/test_Has_conversion.cpp
@@ -14,7 +14,9 @@
 
 #include <CGAL/Simple_cartesian.h>
 #include <CGAL/Simple_homogeneous.h>
+#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
 #include <CGAL/Exact_predicates_exact_constructions_kernel_with_kth_root.h>
+#endif
 #include <CGAL/Filtered_kernel.h>
 
 #include <CGAL/Has_conversion.h>
@@ -36,13 +38,16 @@ int main()
   typedef CGAL::Simple_homogeneous<NT_exact>                      SH;
   typedef CGAL::Filtered_kernel<SH>                               FSH;
 
+#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
   typedef CGAL::Exact_predicates_exact_constructions_kernel_with_kth_root EPECK;
+  CGAL_USE_TYPE(EPECK);
+#endif
 
   CGAL_USE_TYPE(ASC);
   CGAL_USE_TYPE(FSC);
   CGAL_USE_TYPE(SH);
   CGAL_USE_TYPE(FSH);
-  CGAL_USE_TYPE(EPECK);
+
 
   assert((CGAL::Has_conversion<SC, SC, SC::Point_2, SC::Point_2>::value));
   assert((CGAL::Has_conversion<SC, SC, SC::Object_2, SC::Object_2>::value));
@@ -55,10 +60,12 @@ int main()
   assert((CGAL::Has_conversion<SH, FSH, SH::Vector_3, FSH::Vector_3>::value));
 
   assert((CGAL::Has_conversion<SC, ASC, SC::Sphere_3, ASC::Sphere_3>::value));
+#if defined(CGAL_USE_CORE) || defined(CGAL_USE_LEDA)
   assert((CGAL::Has_conversion<SC, EPECK, SC::Triangle_2, EPECK::Triangle_2>::value));
   assert((CGAL::Has_conversion<EPECK, SC, EPECK::Circle_3, SC::Circle_3>::value));
 
   assert(!(CGAL::Has_conversion<SC, EPECK, SC::Weighted_point_2, EPECK::Weighted_point_3>::value));
+#endif
   assert(!(CGAL::Has_conversion<SC, ASC, SC::Point_2, ASC::Weighted_point_2>::value));
 
   // below will produce static assert failures