# HG changeset patch
# User wenzelm
# Date 1460550302 -7200
# Node ID 771b8ad5c7fc3a4ba76d3d91bfa8c3fe86a7d85b
# Parent  5bf08c9aa036c16395637e04b0cdcfff24a4fc8c
tuned;

diff -r 5bf08c9aa036 -r 771b8ad5c7fc src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Wed Apr 13 11:31:13 2016 +0200
+++ b/src/Tools/Code/code_ml.ML	Wed Apr 13 14:25:02 2016 +0200
@@ -871,7 +871,7 @@
       check = { env_var = "ISABELLE_TOOL",
         make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
         make_command = fn _ =>
-          "\"$ISABELLE_TOOL\" process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure" } })
+          "isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure" } })
   #> Code_Target.add_language
     (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
       check = { env_var = "ISABELLE_OCAML",