diff options
Diffstat (limited to 'byterun/gc_ctrl.h')
| -rw-r--r-- | byterun/gc_ctrl.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/byterun/gc_ctrl.h b/byterun/gc_ctrl.h deleted file mode 100644 index 5a88a9ab61..0000000000 --- a/byterun/gc_ctrl.h +++ /dev/null @@ -1,17 +0,0 @@ -#ifndef _gc_ctrl_ -#define _gc_ctrl_ - -#include "misc.h" - -extern long - stat_minor_words, - stat_promoted_words, - stat_major_words, - stat_minor_collections, - stat_major_collections, - stat_heap_size; - -void init_gc P((long, long, int, int)); - - -#endif /* _gc_ctrl_ */ |