# HG changeset patch
# User haftmann
# Date 1560703257 0
# Node ID ce3c1d8791eb79ec65f5f45b9748b95885ce9063
# Parent  32b4e1aec5ca5840de7af1d4e26b7cec718c67e6
more correct indicator

diff -r 32b4e1aec5ca -r ce3c1d8791eb src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Fri Jun 14 12:29:50 2019 +0200
+++ b/src/Tools/Code/code_ml.ML	Sun Jun 16 16:40:57 2019 +0000
@@ -885,7 +885,7 @@
       evaluation_args = []})
   #> Code_Target.add_language
     (target_OCaml, {serializer = serializer_ocaml, literals = literals_ocaml,
-      check = {env_var = "ISABELLE_OCAMLEXEC",
+      check = {env_var = "ISABELLE_OCAMLFIND",
         make_destination = fn p => Path.append p (Path.explode "ROOT.ml")
           (*extension demanded by OCaml compiler*),
         make_command = fn _ =>