From 9eabec28dc7999fcdfc1ea3a4a72d44581bc9f96 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Thu, 11 Jun 2020 17:49:48 +0200
Subject: [PATCH] Update bytes.sub doc.

---
 gitlab-pages/docs/reference/bytes.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gitlab-pages/docs/reference/bytes.md b/gitlab-pages/docs/reference/bytes.md
index 86326150c..c9e969c2f 100644
--- a/gitlab-pages/docs/reference/bytes.md
+++ b/gitlab-pages/docs/reference/bytes.md
@@ -55,8 +55,8 @@ val sub : nat -> nat -> bytes -> bytes
 let sub : (nat, nat, bytes) => bytes
 </SyntaxTitle>
 
-Extract the bytes between `pos1` and `pos2`. **Positions are zero indexed and
-inclusive**. For example if you gave the input "ff7a7aff" to the following:
+Extract bytes from `start` to `length`. For example if you gave the 
+input "ff7a7aff" to the following function:
 
 <Syntax syntax="pascaligo">
 
@@ -86,7 +86,7 @@ let slice_op = (s: bytes): bytes => Bytes.sub(1n, 2n, s);
 
 </Syntax>
 
-It would return "7a7a" rather than "ff7a" or "ff" or "7a".
+It would return "7a7a".
 
 <SyntaxTitle syntax="pascaligo">
 function pack : 'a -> bytes