From d258fb3eff049ae87a8ca76c85be1a728e4e0d2b Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Fri, 23 Feb 2018 23:13:10 +0100
Subject: [PATCH] Fix memory leak

---
 m-shared.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/m-shared.h b/m-shared.h
index be9cce3a..ff4aa148 100644
--- a/m-shared.h
+++ b/m-shared.h
@@ -344,6 +344,7 @@ static inline int sharedi_integer_cref(int *p) { return *p; }
     }                                                                   \
     M_GET_FREE oplist (s->buffer);                                      \
     s->buffer = NULL;                                                   \
+    genint_clear(s->core);                                              \
   }                                                                     \
                                                                         \
   static inline void                                                    \