Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer formal $POLYML_EXE;
authorwenzelm
Mon, 27 Nov 2017 16:44:32 +0100
changeset 67101 60126738b2d0
parent 67100 c7694d51c278
child 67102 411e49edd905
prefer formal $POLYML_EXE;
src/HOL/Library/code_test.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/code_test.ML	Mon Nov 27 16:18:29 2017 +0100
+++ b/src/HOL/Library/code_test.ML	Mon Nov 27 16:44:32 2017 +0100
@@ -343,7 +343,7 @@
       "    ()\n" ^
       "  end;\n"
     val cmd =
-      "\"$ML_HOME/poly\" --use " ^ Bash.string (File.platform_path code_path) ^
+      "\"$POLYML_EXE\" --use " ^ Bash.string (File.platform_path code_path) ^
       " --use " ^ Bash.string (File.platform_path driver_path) ^
       " --eval " ^ Bash.string "main ()"
   in
isabelle