diff options
Diffstat (limited to 'libs/pbd/pool.cc')
| -rw-r--r-- | libs/pbd/pool.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/pbd/pool.cc b/libs/pbd/pool.cc index cdcd9abdd7..234dfaeb18 100644 --- a/libs/pbd/pool.cc +++ b/libs/pbd/pool.cc @@ -70,7 +70,7 @@ Pool::alloc () if (free_list.read (&ptr, 1) < 1) { fatal << "CRITICAL: " << _name << " POOL OUT OF MEMORY - RECOMPILE WITH LARGER SIZE!!" << endmsg; - /*NOTREACHED*/ + abort(); /*NOTREACHED*/ return 0; } else { return ptr; @@ -184,7 +184,7 @@ PerThreadPool::per_thread_pool () CrossThreadPool* p = _key.get(); if (!p) { fatal << "programming error: no per-thread pool \"" << _name << "\" for thread " << pthread_name() << endmsg; - /*NOTREACHED*/ + abort(); /*NOTREACHED*/ } return p; } |