Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit 80b65b06 authored by LANORE Vincent's avatar LANORE Vincent
Browse files

Corrected warning in profile.ml

parent 1b83c56f
......@@ -51,7 +51,7 @@ type profile_choice =
| All
| Dist
| Unif_3
let profile_l_of_splitted_profile ~nb_cat ~nb_sites profile_fn ~seed =
let profile_f = input profile_fn in
let prefix = Filename.chop_extension (Filename.basename profile_fn) in
......@@ -73,5 +73,4 @@ let profile_l_of_splitted_profile ~nb_cat ~nb_sites profile_fn ~seed =
{profile_c=p0 ; profile_n=prefix ^ "_1categorie_max_dist" ; profile_f};
)
| All -> (let p0 = splitted_profile / selector ["profile_0.tsv"] in
{profile_c=p0; profile_n=prefix ; profile_f})
| _ -> failwith {| nbcat must be 1 or 3 |}
{profile_c=p0; profile_n=prefix ; profile_f})
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment