From 762d8a8e742ba5f90c24ec457fde14b2bbad9fbf Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Tue, 27 Feb 2018 22:43:17 +0100
Subject: [PATCH] Update assertion

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

diff --git a/m-dict.h b/m-dict.h
index 550db6ef..ba28a0e4 100644
--- a/m-dict.h
+++ b/m-dict.h
@@ -585,6 +585,7 @@
 #define DICTI_CONTRACT(name, map) do {                                  \
     assert(map != NULL);                                                \
     assert(map->used <= map->upper_limit);                              \
+    assert(map->upper_limit >= DICTI_UPPER_BOUND(DICTI_INITIAL_SIZE));  \
     assert(map->used >= map->lower_limit);                              \
     assert(M_POWEROF2_P(M_C(name, _array_list_pair_size)(map->table))); \
   } while (0)