diff --git a/src/lladd/pageFile.c b/src/lladd/pageFile.c
index 1c69162..cd68a93 100644
--- a/src/lladd/pageFile.c
+++ b/src/lladd/pageFile.c
@@ -63,7 +63,7 @@ void pageRead(Page *ret) {
     } else if(read_size == -1) { 
       perror("pageFile.c couldn't read");
       fflush(NULL);
-      assert(0);
+      abort();
     } else {
       printf("pageFile.c readfile: read_size = %d, errno = %d\n", read_size, errno);
       abort();