From 49e90e025ca746a1a90991d79963d035b7940dbd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 22 Jan 2018 17:19:21 +0100
Subject: [PATCH] style
---
src/plugins/markdown-report/md_gen.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 12322e06cb3..9c51da69688 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -42,7 +42,7 @@ let plural l s =
let get_eva_domains () =
Extlib.filter_map
(fun (x,_) -> Dynamic.Parameter.Bool.get x ())
- (fun (x,y) -> ([Plain "option"; Inline_code x], plain y))
+ (fun (x,y) -> ([Plain "option"; Bold x], plain y))
all_eva_domains
let codelines lang pp code =
--
GitLab