diff --git a/src/main.ml b/src/main.ml index 22c8754f..f3cba367 100644 --- a/src/main.ml +++ b/src/main.ml @@ -267,7 +267,7 @@ let bootstrap () = ; contexts = [Default { targets = [Native] ; profile = Option.value !profile - ~default:"default" + ~default:"dev" } ] }