diff --git a/cpukit/score/cpu/arm/__tls_get_addr.c b/cpukit/score/cpu/arm/__tls_get_addr.c
index 6020bb686e..2b6dbb80e9 100644
--- a/cpukit/score/cpu/arm/__tls_get_addr.c
+++ b/cpukit/score/cpu/arm/__tls_get_addr.c
@@ -48,7 +48,7 @@ void *__tls_get_addr(const TLS_Index *ti)
   void *tls_data = (char *) executing->Registers.thread_id
     + _TLS_Get_thread_control_block_area_size( &_TLS_Configuration );
 
-  assert(ti->module == 1);
+  _Assert(ti->module == 1);
 
   return (char *) tls_data + ti->offset;
 }