diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-29 16:30:24 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-29 16:30:24 +0200 |
| commit | 21cbcf2e8b69403f3973fa19e5e96bee5ba870b7 (patch) | |
| tree | 456af4ff0f2c75fe3ce2ad9375d5ad2f96166597 /lib/config.ml | |
| parent | ffae61af1a13862ffc2bf9415313f5da3d90d38e (diff) | |
Start work on Trees.
Making slow but steady progress... Bulldozer mindset.
Diffstat (limited to 'lib/config.ml')
| -rw-r--r-- | lib/config.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/config.ml b/lib/config.ml index 540a5d0..7e037ef 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -69,5 +69,4 @@ let read_file ?(file = config_file) () = prerr_endline "[config.ml] Falling back to default config."; Ok default -let config = - match read_file ~file:config_file () with Ok cfg -> cfg | Error _ -> default +let config = match read_file () with Ok cfg -> cfg | Error _ -> default |