diff -r b351da9b4c7d -r bfa38c2e751f src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Wed Mar 09 17:22:43 2016 +0000
+++ b/src/Tools/Code/code_ml.ML	Wed Mar 09 21:01:22 2016 +0100
@@ -871,7 +871,7 @@
       check = { env_var = "ISABELLE_PROCESS",
         make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
         make_command = fn _ =>
-          "\"$ISABELLE_PROCESS\" -q -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' Pure" } })
+          "\"$ISABELLE_PROCESS\" -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' Pure" } })
   #> Code_Target.add_language
     (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
       check = { env_var = "ISABELLE_OCAML",