From b1dd4f99724592d65bcabfe7578aac9cf9b0959e Mon Sep 17 00:00:00 2001 From: Julien Blond Date: Wed, 10 Jul 2024 10:33:32 +0200 Subject: [PATCH] Fixed #225: making lastest (git) version the default one. --- src/drom_lib/project.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/drom_lib/project.ml b/src/drom_lib/project.ml index c671017..c18d671 100644 --- a/src/drom_lib/project.ml +++ b/src/drom_lib/project.ml @@ -236,7 +236,9 @@ let to_files share p = let project_of_toml ?file ?default table = let project_drom_version = match EzToml.get_string_option table [ "project"; "drom-version" ] with - | None -> Globals.min_drom_version + | None -> + (* Using current version by default. *) + Version.version | Some version -> match VersionCompare.compare version Version.version with | 1 ->