Fix ignored error during 'opam init'

Errors during 'opam init' were inadvertently ignored.
tarides · Jul 1, 2022 · eadfc9d · eadfc9d
1 parent 6cceeb2
commit eadfc9d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/bin/main.ml b/src/bin/main.ml
@@ -19,7 +19,8 @@ let rec log_error = function
 let install_platform () =
   let opam_opts = Platform.Opam.GlobalOpts.default in
   let install_res =
-    let _ = Platform.Opam.check_init () in
+    let open Result.Syntax in
+    let* () = Platform.Opam.check_init () in
     Platform.Tools.(install opam_opts (platform ()))
   in
   match install_res with