diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-13 14:49:55 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-13 15:27:33 +0100 |
| commit | 772beb7308a53558e153223bc42742f719ff4a40 (patch) | |
| tree | 001e05b379d3e583209c47e7b81d444c28c8857b | |
| parent | cb21c5ffa92494b1a4bf110605509de3326b6c3d (diff) | |
Lib: Minor fix
| -rw-r--r-- | lib/mempool.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/mempool.c b/lib/mempool.c index 5a8f2a69..758882ce 100644 --- a/lib/mempool.c +++ b/lib/mempool.c @@ -244,6 +244,7 @@ lp_restore(linpool *m, lp_state *p) while ((c = m->first_large) && (c != p->large)) { m->first_large = c->next; + m->total_large -= c->size; xfree(c); } } |