Lib: Minor fix

diff --git a/lib/mempool.c b/lib/mempool.c
index 5a8f2a693e859cd4d99dd1bb3a35c71af508d14f..758882ce251251821ebcf483cdfadf2f46aef1c0 100644 (file)
--- 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);
     }
 }