Update otherlibs/dune-site/src/plugins/plugins.ml

Co-authored-by: Antonio Nuno Monteiro <anmonteiro@gmail.com> Signed-off-by: shym <samuel@tarides.com>
ocaml · Apr 26, 2024 · c177103 · c177103
1 parent 3c30884
commit c177103
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/otherlibs/dune-site/src/plugins/plugins.ml b/otherlibs/dune-site/src/plugins/plugins.ml
@@ -3,8 +3,10 @@ module Data = Dune_site_plugins_data
 
 let meta_fn = "META"
 
-let readdir dirs =
+let readdir =
   let ( / ) = Filename.concat in
+  fun dirs ->
+
   List.concat
     (List.map
        (fun dir ->