diff --git a/src/USER-REAXC/reaxc_tool_box.cpp b/src/USER-REAXC/reaxc_tool_box.cpp
index 89604797a71952b2b6e862238f26ec3cc8ef96b2..074921248cd286e1b2b39e03b5742f085f581da7 100644
--- a/src/USER-REAXC/reaxc_tool_box.cpp
+++ b/src/USER-REAXC/reaxc_tool_box.cpp
@@ -453,7 +453,7 @@ void *scalloc( int n, int size, char *name, MPI_Comm comm )
 
 
 /* safe free */
-void destroy( void *ptr, char *name )
+void sfree( void *ptr, char *name )
 {
   if( ptr == NULL ) {
     fprintf( stderr, "WARNING: trying to free the already NULL pointer %s!\n",