# HG changeset patch
# User wenzelm
# Date 1553112920 -3600
# Node ID 3ed262d72468cffe9f72fe6ec7b96ffeec9e71e3
# Parent  f387618d90530a031abde1b04c04294a413b176d
avoid prompt;

diff -r f387618d9053 -r 3ed262d72468 lib/Tools/ocaml_setup
--- a/lib/Tools/ocaml_setup	Wed Mar 20 20:33:40 2019 +0100
+++ b/lib/Tools/ocaml_setup	Wed Mar 20 21:15:20 2019 +0100
@@ -13,4 +13,4 @@
   isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
 fi
 
-isabelle_opam install zarith
+isabelle_opam install zarith -y