src/HOL/Tools/Predicate_Compile/code_prolog.ML
changeset 62549 9498623b27f0
parent 62519 a564458f94db
child 62969 9f394a16c557
--- 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 ^