From e2b750a3bb277b9611a3941215d9d04c80a82682 Mon Sep 17 00:00:00 2001 From: Stavros Polymenis Date: Fri, 25 Aug 2017 20:15:06 +0100 Subject: [PATCH] Drop unused function in Meta --- src/core/meta.ml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/core/meta.ml b/src/core/meta.ml index d8ae3dc..65d8d3f 100644 --- a/src/core/meta.ml +++ b/src/core/meta.ml @@ -184,11 +184,6 @@ let to_string (meta as m) = let d field value = match value with | Some d -> field ^ ": " ^ Date.rfc_string value ^ "\n" | None -> "" in - let ss field values = - if List.length values > 0 - then field ^ ": " ^ String.concat ", " values ^ "\n" - else "" - in let rows = [ s "title" m.title; a m.author;