diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
| commit | 4ea2c7a094e4c61caeeff4b9c16cf10b8d4b14de (patch) | |
| tree | 36eaf10870828e011e56123d0002aff9ae3f99dd /src/dialog.ml | |
| parent | 525863904e8cb1ce62bbbf407262e5305d6bbc6f (diff) | |
Tidying up a bit of code formatting
Diffstat (limited to 'src/dialog.ml')
| -rw-r--r-- | src/dialog.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dialog.ml b/src/dialog.ml index 826d280..2658035 100644 --- a/src/dialog.ml +++ b/src/dialog.ml @@ -167,7 +167,7 @@ let save_export_file ~title ?(folder = "") ?(name = "") () = None else if Option.is_none choice || - overwrite_check ~filename:(Option.get choice) + overwrite_check ~filename:(Option.get choice) then choice else |