From 2f359973b741caecd8292f4d2185079a87c69577 Mon Sep 17 00:00:00 2001
From: Florent Kirchner <florent.kirchner@cea.fr>
Date: Thu, 5 Oct 2017 14:54:31 +0200
Subject: [PATCH] [Fix] Downgrade to 4.04
---
src/plugins/markdown-report/markdown.ml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/plugins/markdown-report/markdown.ml b/src/plugins/markdown-report/markdown.ml
index 3dc4823cc70..532cce93b98 100644
--- a/src/plugins/markdown-report/markdown.ml
+++ b/src/plugins/markdown-report/markdown.ml
@@ -89,9 +89,8 @@ let pp_headers fmt l sizes =
let compute_sizes headers contents =
let check_line i m line =
- match List.nth_opt line i with
- | Some t -> max m (test_size t + 2)
- | None -> m
+ try max m (test_size (List.nth line i) + 2)
+ with Failure _ -> m
in
let column_size (i,l) (h,_) =
let max = List.fold_left (check_line i) (test_size h) contents in
--
GitLab