diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml index 08406f3767ae8a2b69e618ba6d58c380dc4b1467..abab8da74b37de07082186471d045e7fc2deeb30 100644 --- a/src/plugins/markdown-report/md_gen.ml +++ b/src/plugins/markdown-report/md_gen.ml @@ -457,7 +457,7 @@ let mk_date () = let mk_remarks () = let f = Mdr_params.Remarks.get () in - if f <> "" then failwith "writeme" + if f <> "" then Parse_remarks.get_remarks f else Datatype.String.Map.empty let gen_report is_draft =