From 7229f04981a087dfab039fe45108bae3b1ef5853 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 3 Nov 2016 23:25:35 +0100
Subject: [PATCH] detail

---
 src/data/CCBitField.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/data/CCBitField.ml b/src/data/CCBitField.ml
index 574c2175..5b09653a 100644
--- a/src/data/CCBitField.ml
+++ b/src/data/CCBitField.ml
@@ -22,7 +22,7 @@ let max_width = Sys.word_size - 2
 
 (*$R
   let module B = CCBitField.Make(struct end) in
-  let x = B.mk_field () in
+  let _ = B.mk_field () in
   B.freeze();
   assert_bool "must raise"
     (try ignore (B.mk_field()); false with Frozen -> true);