prepare-opam.sh

@@ -64,7 +64,7 @@ echo
 if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
     # Upgrade cached things
     echo_color "$BOLDGREEN" "[prepare-opam] Upgrading packages"
-    opam upgrade -y --use-internal-solver --fixup && opam upgrade -y --use-internal-solver
+    opam upgrade -y --fixup && opam upgrade -y
     echo
 fi