src/HOL/Tools/Predicate_Compile/code_prolog.ML
changeset 62549 9498623b27f0
parent 62519 a564458f94db
child 62969 9f394a16c557
     1.1 --- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Mon Mar 07 20:44:47 2016 +0100
     1.2 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Mon Mar 07 21:09:28 2016 +0100
     1.3 @@ -818,7 +818,7 @@
     1.4      if getenv env_var = "" then
     1.5        (warning (env_var ^ " not set; could not execute code for " ^ string_of_system system); "")
     1.6      else
     1.7 -      (case Isabelle_System.bash_output (cmd ^ File.shell_path file) of
     1.8 +      (case Isabelle_System.bash_output (cmd ^ File.bash_path file) of
     1.9          (out, 0) => out
    1.10        | (_, rc) =>
    1.11            error ("Error caused by prolog system " ^ env_var ^