From 1da34f4cfd4854f13e6836a50beb8e0f105ed33b Mon Sep 17 00:00:00 2001 From: Victor Grishchenko Date: Thu, 4 Feb 2010 11:31:49 +0100 Subject: [PATCH] Add Linux header --- bins.cpp | 6 ++++++ bins.h | 2 +- mfold/run.default.sh | 10 ++++++++++ 3 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 mfold/run.default.sh diff --git a/bins.cpp b/bins.cpp index ffc98c6..184e678 100644 --- a/bins.cpp +++ b/bins.cpp @@ -10,6 +10,7 @@ #include #include #include +#include #include #include #include @@ -60,6 +61,11 @@ binmap_t::binmap_t() : height(4), blocks_allocated(0), cells(NULL), assert( free_top == 1 ); } +binmap_t::~binmap_t () { + if (cells) + free(cells); +} + void binmap_t::twist (uint64_t mask) { while ( (1<lout 2>lerr || exit 2 -- 2.20.1