From b3a34f83978bad88e6ae097b8e0effabafdb4a38 Mon Sep 17 00:00:00 2001 From: Johnny Lim Date: Thu, 31 May 2018 09:23:47 +0900 Subject: [PATCH] Polish doc Closes gh-1843 --- src/docs/asciidoc/core/core-databuffer-codec.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/docs/asciidoc/core/core-databuffer-codec.adoc b/src/docs/asciidoc/core/core-databuffer-codec.adoc index 5117ce074b..e7d4d66554 100644 --- a/src/docs/asciidoc/core/core-databuffer-codec.adoc +++ b/src/docs/asciidoc/core/core-databuffer-codec.adoc @@ -44,7 +44,7 @@ writing, and a separate `flip()` operation to switch between the two I/O operat In general, the following invariant holds for the read position, write position, and the capacity: -- - `0` <= _read position_ <= _write position_ <= _capacity_ + 0 <= read position <= write position <= capacity -- When reading bytes from the `DataBuffer`, the read position is automatically updated in accordance with