From 7506062143f5e08d9fc38e09fe635633d58fae3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 23 Jun 2020 11:54:34 +0200
Subject: [PATCH] [libs] linter
---
src/libraries/utils/markdown.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/libraries/utils/markdown.ml b/src/libraries/utils/markdown.ml
index 2aa8e471524..92153e7eb31 100644
--- a/src/libraries/utils/markdown.ml
+++ b/src/libraries/utils/markdown.ml
@@ -222,9 +222,9 @@ let relativize page target =
go_up p1 @ l2
| d2 :: p2 when d2 = d1 -> remove_common p1 p2
| _ -> go_up p1 @ l2
- in
- let relative = remove_common page_dir target_dir in
- String.concat "/" relative
+ in
+ let relative = remove_common page_dir target_dir in
+ String.concat "/" relative
let pp_href ?(page="") fmt = function
| URL s -> Format.pp_print_string fmt s
--
GitLab