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