From f88b53dce560e578615551db9b4fbde6f0768bb1 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Wed, 14 Mar 2018 23:51:43 +0100
Subject: [PATCH] Fix issue

---
 m-array.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/m-array.h b/m-array.h
index f99ac133..e219cdec 100644
--- a/m-array.h
+++ b/m-array.h
@@ -383,7 +383,8 @@
   {                                                                     \
     ARRAYI_CONTRACT(v);                                                 \
     assert (v == pos->array);                                           \
-    v->size = pos->index;                                               \
+    M_ASSUME (pos->index <= v->size);                                   \
+    M_C(name, _resize)(v, pos->index);                                  \
   }                                                                     \
                                                                         \
   static inline bool                                                    \