From 161fec77afff2fea9319c400b63a03dbb6b19089 Mon Sep 17 00:00:00 2001
From: rand00 <oth.rand@gmail.com>
Date: Fri, 28 Jan 2022 11:03:03 +0100
Subject: [PATCH] Views: Using Option.of_list

---
 lib/views.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/lib/views.ml b/lib/views.ml
index 64ccf00..2ed214c 100644
--- a/lib/views.ml
+++ b/lib/views.ml
@@ -78,10 +78,6 @@ h1,h2,h3{line-height:1.2}
 }
 |}
 
-let list_of_option = function
-  | Some v -> [ v ]
-  | None -> [] 
-
 let layout ?include_static_css ?nav:(nav_=`Default) ~title:title_ body_ =
   let breadcrumb =
     let to_nav kvs =
@@ -112,7 +108,7 @@ let layout ?include_static_css ?nav:(nav_=`Default) ~title:title_ body_ =
       ]
   in
   (*> Note: Last declared CSS wins - so one can override here*)
-  let static_css = static_css :: list_of_option include_static_css 
+  let static_css = static_css :: Option.to_list include_static_css 
   in
   html
     (head (title (txt title_))