X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fheap.c;h=c321327a63f4c4b4d9b94a4d77a046b5b8ca7005;hb=e22db86f67a3b77124af022bbd734922c62c424c;hp=a90aefda81826dd7962026dacce945edc2370fc1;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp diff --git a/src/heap.c b/src/heap.c index a90aefda81..c321327a63 100644 --- a/src/heap.c +++ b/src/heap.c @@ -18,10 +18,10 @@ 02111-1307, USA. */ #include +#include "heap.h" #include #include #include -#include "heap.h" #if STANDALONE #define GLOBAL_DEBUGGING 1