From fcd33026bb5ccf6a7d9b1a73845cbc2bc44d3fbd Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Thu, 2 Jan 2020 12:26:02 -0800 Subject: [PATCH] Fix loops page with ReasonLIGO --- gitlab-pages/docs/language-basics/loops.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gitlab-pages/docs/language-basics/loops.md b/gitlab-pages/docs/language-basics/loops.md index 964bf35ba..9fd26d024 100644 --- a/gitlab-pages/docs/language-basics/loops.md +++ b/gitlab-pages/docs/language-basics/loops.md @@ -64,7 +64,8 @@ let aux = (i: int): (bool, int) => stop(i); }; -let counter_simple = (n: int): int => Loop.fold_while(aux, n);``` +let counter_simple = (n: int): int => Loop.fold_while(aux, n); +```