changeset 43850 | 7f2cbc713344 |
parent 43735 | 9b88fd07b912 |
child 43885 | 7caa1139b4e5 |
--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Sat Jul 16 20:14:58 2011 +0200 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Sat Jul 16 20:52:41 2011 +0200 @@ -792,7 +792,7 @@ in if getenv env_var = "" then (warning (env_var ^ " not set; could not execute code for " ^ string_of_system system); "") - else fst (bash_output (cmd ^ File.shell_path file)) + else fst (Isabelle_System.bash_output (cmd ^ File.shell_path file)) end