diff --git a/Straight_skeleton_2/demo/Straight_skeleton_2/cgal_types.h b/Straight_skeleton_2/demo/Straight_skeleton_2/cgal_types.h
index d6fb8e56089..1d1b276ed99 100644
--- a/Straight_skeleton_2/demo/Straight_skeleton_2/cgal_types.h
+++ b/Straight_skeleton_2/demo/Straight_skeleton_2/cgal_types.h
@@ -30,25 +30,7 @@
 
 #if USE_BIG_FLOAT
 
-#include <CORE/BigFloat.h>
-
-namespace CGAL
-{
-
-template<> struct Number_type_traits<CORE::BigFloat>
-{
-  typedef Tag_false Has_exact_ring_operations;
-  typedef Tag_false Has_exact_division;
-  typedef Tag_false Has_exact_sqrt;
-
-  typedef Tag_true Has_gcd;
-  typedef Tag_true Has_division;
-  typedef Tag_true Has_sqrt;
-};
-
-CORE::BigFloat sqrt( CORE::BigFloat const& n ) { return CORE::sqrt(n); }
-
-}
+#include <CGAL/CORE_BigFloat.h>
 
 #endif