--- a/src/Tools/Code/code_ml.ML Fri Mar 22 11:23:17 2019 +0100
+++ b/src/Tools/Code/code_ml.ML Fri Mar 22 18:04:52 2019 +0100
@@ -889,7 +889,7 @@
make_destination = fn p => Path.append p (Path.explode "ROOT.ml")
(*extension demanded by OCaml compiler*),
make_command = fn _ =>
- "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg ROOT.ml"},
+ "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null"},
evaluation_args = []})
#> Code_Target.set_printings (Type_Constructor ("fun",
[(target_SML, SOME (2, fun_syntax)), (target_OCaml, SOME (2, fun_syntax))]))