From 3f2a641cdffeb3862c44c3094f29c24f893fe338 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 17 Feb 2018 20:25:40 +0100
Subject: [PATCH] Add contract

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

diff --git a/m-snapshot.h b/m-snapshot.h
index 126d9e39..b8700a54 100644
--- a/m-snapshot.h
+++ b/m-snapshot.h
@@ -365,6 +365,7 @@ static inline unsigned int snapshot_mrsw_int_write_idx(snapshot_mrsw_int_t s, un
 static inline unsigned int snapshot_mrsw_int_write(snapshot_mrsw_int_t s)
 {
   s->currentWrite = snapshot_mrsw_int_write_idx(s, s->currentWrite);
+  SNAPSHOTI_MRSW_INT_CONTRACT(s);
   return s->currentWrite;
 }