From 38a61f5cb34cb28528afc1698d3aab12af819d0c Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Thu, 26 Mar 2020 11:06:52 +0100
Subject: [PATCH] Improve String.sub api documentation.

---
 gitlab-pages/docs/reference/string.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gitlab-pages/docs/reference/string.md b/gitlab-pages/docs/reference/string.md
index b61453ec7..afe9ebaa3 100644
--- a/gitlab-pages/docs/reference/string.md
+++ b/gitlab-pages/docs/reference/string.md
@@ -73,8 +73,8 @@ val sub : nat -> nat -> string -> string
 let sub: (nat, nat, string) => string
 </SyntaxTitle>
 
-Get the substring of `s` between `pos1` inclusive and `pos2` inclusive. For example
-the string "tata" given to the function below would return "at".
+Extract a substring from a string based on the given offset and length. For 
+example the string "abcd" given to the function below would return "bc".
 
 
 <Syntax syntax="pascaligo">