diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-04-05 20:35:48 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-04-05 20:35:48 +0100 |
| commit | 12bab72d93498958ddef26c1a2dd7c69a9f9cf8d (patch) | |
| tree | 7415b5201b6dca0daf60a9968543b398fab49baa /stm/malloc0.c | |
| parent | 8123a3339dc7381a079afa90649ce140075eb2e2 (diff) | |
Improve GC finalisation code; add option to disable it.
Diffstat (limited to 'stm/malloc0.c')
| -rw-r--r-- | stm/malloc0.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stm/malloc0.c b/stm/malloc0.c index 85a643f72..510fa0d74 100644 --- a/stm/malloc0.c +++ b/stm/malloc0.c @@ -1,5 +1,6 @@ +#include <stdio.h> #include <stdint.h> -#include "std.h" +#include "misc.h" #include "mpconfig.h" #include "gc.h" |