From ed126fa6bb3d2ffe5acd2527fd6674014980ee23 Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Sun, 22 Feb 2015 19:58:46 -0500
Subject: [PATCH] check for non-negative length

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

diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml
index 77608728..ba3fbc90 100644
--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@@ -284,7 +284,7 @@ struct
   let s_len = Bytes.length s in \
   let b = ByteBuffer.create ~bounded:true i in \
   ByteBuffer.blit_from b s 0 s_len; \
-  ByteBuffer.length b <= i)
+  ByteBuffer.length b >= 0 && ByteBuffer.length b <= i)
   *)
 
   (* resize [b] so that inner capacity is [cap] *)