diff --git a/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c b/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c
index b3a715fe9b6..4fa0aedecff 100644
--- a/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c
+++ b/runtime/GCCLibraries/libpoolalloc/PoolAllocatorChained.c
@@ -242,6 +242,7 @@ void poolfree(PoolTy *Pool, char *Node) {
     
     if (!ALLOCATION_BEGINS(PS, Idx)) { 
       printf("poolfree: Attempt to free middle of allocated array\n");
+      exit(1);
     }
 
     /* Free the first node */