From e0a5eb81d869fcb14c493fb29b78df0b531cc945 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Tue, 11 Jul 2017 22:55:31 +0200
Subject: [PATCH] Add contract check

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

diff --git a/m-bitset.h b/m-bitset.h
index 9de230c8..28a33777 100644
--- a/m-bitset.h
+++ b/m-bitset.h
@@ -243,6 +243,7 @@ bitset_pop_back(bool *dest, bitset_t v)
 static inline bool
 bitset_back(bitset_t v)
 {
+  BITSETI_CONTRACT (v);
   assert(v->size > 0);
   return bitset_get(v, v->size-1);
 }