diff options
Diffstat (limited to 'byterun/freelist.c')
| -rw-r--r-- | byterun/freelist.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/byterun/freelist.c b/byterun/freelist.c index 37e4d815f..3371b9a18 100644 --- a/byterun/freelist.c +++ b/byterun/freelist.c @@ -18,14 +18,14 @@ #include <string.h> -#include "config.h" -#include "freelist.h" -#include "gc.h" -#include "gc_ctrl.h" -#include "memory.h" -#include "major_gc.h" -#include "misc.h" -#include "mlvalues.h" +#include "caml/config.h" +#include "caml/freelist.h" +#include "caml/gc.h" +#include "caml/gc_ctrl.h" +#include "caml/memory.h" +#include "caml/major_gc.h" +#include "caml/misc.h" +#include "caml/mlvalues.h" /* The free-list is kept sorted by increasing addresses. This makes the merging of adjacent free blocks possible. |