Use std::abort.

git-svn-id: https://svn.dealii.org/trunk@5779 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/base/source/thread_management.cc b/deal.II/base/source/thread_management.cc
index 19c0607ad1f845d787b388e3492fa222ecec9371..0af7dfe8bc69af02823b545670278173d64ae935 100644 (file)
--- a/deal.II/base/source/thread_management.cc
+++ b/deal.II/base/source/thread_management.cc
@@ -76,7 +76,7 @@ namespace Threads
 #ifndef DEAL_II_USE_MT_POSIX_NO_BARRIERS
     pthread_barrier_destroy (&barrier);
 #else
-    abort ();
+    std::abort ();
 #endif
   };
 
@@ -88,7 +88,7 @@ namespace Threads
 #ifndef DEAL_II_USE_MT_POSIX_NO_BARRIERS    
     return pthread_barrier_wait (&barrier);
 #else
-    abort ();
+    std::abort ();
 #endif
   };