check install: undefined variable default to false

ocaml · Oct 16, 2023 · f3e6cb4 · f3e6cb4
1 parent 49346c3
commit f3e6cb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/client/opamClient.ml b/src/client/opamClient.ml
@@ -1091,7 +1091,7 @@ let check_installed ~build ~post t atoms =
             let cnf_formula =
               OpamSwitchState.opam t pkg
               |> OpamFile.OPAM.depends
-              |> OpamFilter.filter_formula (env pkg)
+              |> OpamFilter.filter_formula ~default:false (env pkg)
               |> OpamFormula.to_cnf
             in
             let missing_conj =