# HG changeset patch
# User nipkow
# Date 1553193986 -3600
# Node ID ab8aad4aa76e11e15da6b17a10de5e0cfa93eefc
# Parent  2c48be88f84718fa75d0e09779dba679fcb7a26d# Parent  deb05b4c48bacb832e7f97b0ecb1adefb80fca69
merged

diff -r deb05b4c48ba -r ab8aad4aa76e lib/Tools/ocaml_setup
--- a/lib/Tools/ocaml_setup	Thu Mar 21 19:46:12 2019 +0100
+++ b/lib/Tools/ocaml_setup	Thu Mar 21 19:46:26 2019 +0100
@@ -8,9 +8,9 @@
 
 if [ -e "$ISABELLE_OPAM_ROOT/config" ]
 then
-  isabelle_opam switch create "$ISABELLE_OCAML_VERSION"
+  isabelle_opam switch reinstall -y "$ISABELLE_OCAML_VERSION"
 else
-  isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
+  isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
 fi
 
 isabelle_opam install zarith -y