From e25c5bac3542393e22ded87be345073ecc1fafd1 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Thu, 2 Jan 2020 20:38:45 +0100 Subject: [PATCH] adding loops.md to the list of tested file and fixed "loops.md" --- gitlab-pages/docs/language-basics/loops.md | 2 +- src/test/md_file_tests.ml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/gitlab-pages/docs/language-basics/loops.md b/gitlab-pages/docs/language-basics/loops.md index 6ac382fe5..eee32142e 100644 --- a/gitlab-pages/docs/language-basics/loops.md +++ b/gitlab-pages/docs/language-basics/loops.md @@ -41,7 +41,7 @@ let aux (i: int) : bool * int = if i < 100 then continue (i + 1) else stop i let counter_simple (n: int) : int = - Loop.fold_while aux_simple n + Loop.fold_while aux n ``` diff --git a/src/test/md_file_tests.ml b/src/test/md_file_tests.ml index c2e275a3d..eb89fa4a5 100644 --- a/src/test/md_file_tests.ml +++ b/src/test/md_file_tests.ml @@ -92,6 +92,7 @@ let md_files = [ "/gitlab-pages/docs/language-basics/sets-lists-touples.md"; "/gitlab-pages/docs/language-basics/operators.md"; "/gitlab-pages/docs/language-basics/unit-option-pattern-matching.md"; + "/gitlab-pages/docs/language-basics/loops.md"; "/gitlab-pages/docs/contributors/big-picture/back-end.md"; "/gitlab-pages/docs/contributors/big-picture/vendors.md"; "/gitlab-pages/docs/contributors/big-picture/front-end.md";