From 772beb7308a53558e153223bc42742f719ff4a40 Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Wed, 13 Dec 2017 14:49:55 +0100
Subject: [PATCH] Lib: Minor fix

---
 lib/mempool.c | 1 +
 1 file changed, 1 insertion(+)

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);
     }
 }