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);
 }