@@ -10,8 +10,8 @@ void alloc_heap(Heap * h, size_t heap_size)
10 char * mem = malloc(heap_size);
10 char * mem = malloc(heap_size);
11 if (mem == NULL) {
11 if (mem == NULL) {
12 fprintf(stderr,
12 fprintf(stderr,
13− "RTS ERROR: Unable to allocate heap. Requested %d bytes.\n",
13+ "RTS ERROR: Unable to allocate heap. Requested %zd bytes.\n",
14− (int)heap_size);
14+ heap_size);
15 exit(EXIT_FAILURE);
15 exit(EXIT_FAILURE);