diff --git a/code/method/alpha_shape_CGAL4.10_and_earlier.h b/code/method/alpha_shape_CGAL4.10_and_earlier.h
index 013571dc..3e61fda4 100644
--- a/code/method/alpha_shape_CGAL4.10_and_earlier.h
+++ b/code/method/alpha_shape_CGAL4.10_and_earlier.h
@@ -74,8 +74,8 @@ class Alpha_shape_2 : public Dt
 
   typedef typename internal::Alpha_nt_selector_2<Gt,ExactAlphaComparisonTag>::Type_of_alpha Type_of_alpha;
   //check simplices are correctly instantiated
-  static_assert( (boost::is_same<Type_of_alpha,typename Dt::Face::FT>::value) );
-  static_assert( (boost::is_same<Type_of_alpha,typename Dt::Vertex::FT>::value) );
+  CGAL_static_assertion( (boost::is_same<Type_of_alpha,typename Dt::Face::FT>::value) );
+  CGAL_static_assertion( (boost::is_same<Type_of_alpha,typename Dt::Vertex::FT>::value) );
 
   typedef Type_of_alpha NT;
   typedef Type_of_alpha FT;
diff --git a/code/method/alpha_shape_CGAL4.11_and_later.h b/code/method/alpha_shape_CGAL4.11_and_later.h
index 550ae656..cb9f5726 100644
--- a/code/method/alpha_shape_CGAL4.11_and_later.h
+++ b/code/method/alpha_shape_CGAL4.11_and_later.h
@@ -80,8 +80,8 @@ class Alpha_shape_2 : public Dt
   typedef Type_of_alpha               FT;
 
   //check simplices are correctly instantiated
-  static_assert( (boost::is_same<NT, typename Dt::Face::NT>::value) );
-  static_assert( (boost::is_same<NT, typename Dt::Vertex::NT>::value) );
+  CGAL_static_assertion( (boost::is_same<NT, typename Dt::Face::NT>::value) );
+  CGAL_static_assertion( (boost::is_same<NT, typename Dt::Vertex::NT>::value) );
 
   typedef typename Dt::Point Point;