diff options
author | Joris | 2020-08-09 08:37:18 +0200 |
---|---|---|
committer | Joris | 2020-08-09 08:37:18 +0200 |
commit | ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 (patch) | |
tree | 0dee6c63c45e34ce960ca6c445b4ee9dbdcb3087 /src/View/Form.ml | |
parent | 2cb752123d15916496e872c9fbd423c788c86c64 (diff) |
Export as CSV
Diffstat (limited to 'src/View/Form.ml')
-rw-r--r-- | src/View/Form.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/View/Form.ml b/src/View/Form.ml index cc95210..53fbb7d 100644 --- a/src/View/Form.ml +++ b/src/View/Form.ml @@ -47,7 +47,7 @@ let color_input default_colors id label init_value on_input = ; HA.type_ "button" |] [| |]) - |> (fun xs -> Js.Array.concat xs [| input |])) + |> Fun.flip Js.Array.concat [| input |]) |] let textarea id label init_value on_input = |