--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Sat Aug 07 21:25:47 2021 +0200
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Sat Aug 07 22:23:37 2021 +0200
@@ -818,7 +818,7 @@
if getenv env_var = "" then
(warning (env_var ^ " not set; could not execute code for " ^ string_of_system system); "")
else
- let val res = Isabelle_System.bash_process (cmd ^ File.bash_path file) in
+ let val res = Isabelle_System.bash_process_script (cmd ^ File.bash_path file) in
res |> Process_Result.check |> Process_Result.out
handle ERROR msg =>
cat_error ("Error caused by prolog system " ^ env_var ^