--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Mon Mar 07 20:44:47 2016 +0100
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Mon Mar 07 21:09:28 2016 +0100
@@ -818,7 +818,7 @@
if getenv env_var = "" then
(warning (env_var ^ " not set; could not execute code for " ^ string_of_system system); "")
else
- (case Isabelle_System.bash_output (cmd ^ File.shell_path file) of
+ (case Isabelle_System.bash_output (cmd ^ File.bash_path file) of
(out, 0) => out
| (_, rc) =>
error ("Error caused by prolog system " ^ env_var ^