From 3ff46aa44c92f9ff1549d36f97068926c8281465 Mon Sep 17 00:00:00 2001
From: Lionel Sambuc <lionel.sambuc@epfl.ch>
Date: Mon, 21 Oct 2019 14:40:52 +0200
Subject: [PATCH] Ensure assumptions hold

---
 src/cell_space.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/cell_space.rs b/src/cell_space.rs
index 961d0f7..1add7ac 100644
--- a/src/cell_space.rs
+++ b/src/cell_space.rs
@@ -156,7 +156,10 @@ where
     }
 
     fn last(&self) -> (usize, usize) {
+        assert!(!self.table.is_empty());
         let last_id = self.table.len() - 1;
+
+        assert!(!self.table[last_id].is_empty());
         let last_offset = self.table[last_id].len() - 1;
 
         (last_id, last_offset)