fixup

Co-authored-by: Raja Boujbel <raja.boujbel@ocamlpro.com>

src/client/opamTreeCommand.ml

@@ -404,23 +404,25 @@ let dry_install tog st universe install =
 
 let run st tog ?no_constraint mode filter atoms =
   let open OpamPackage.Set.Op in
-  let select, missing, requested =
-    List.fold_left (fun (select, missing, requested) atom ->
+  let select, missing =
+    List.fold_left (fun (select, missing) atom ->
         let installed =
           OpamPackage.Set.filter (OpamFormula.check atom) st.installed
         in
         if OpamPackage.Set.is_empty installed then
-          let missing_pkgs = OpamPackage.Set.filter (OpamFormula.check atom) st.packages in
-          if OpamPackage.Set.is_empty missing_pkgs then
-            assert false;
-          (select, atom :: missing, requested ++ missing_pkgs)
+          (select, atom :: missing)
         else
-          let select = installed ++ select in
-          (select, missing, requested ++ select))
-      (OpamPackage.Set.empty, [], OpamPackage.Set.empty) atoms
+          (installed ++ select, missing))
+      (OpamPackage.Set.empty, []) atoms
   in
   let st, universe =
-    let universe = get_universe tog requested st in
+    let universe =
+      let requested =
+        OpamFormula.packages_of_atoms
+          (if missing = [] then st.installed else st.packages) atoms
+      in
+      get_universe tog requested st
+    in
     match mode, filter, missing with
     | Deps, _, [] -> st, universe
     | Deps, Roots_from, _::_ ->