changeset 64304 | 96bc94c87a81 |
parent 63102 | 71059cf60658 |
child 66661 | fdab65297bd6 |
--- a/src/HOL/Tools/SMT/smt_solver.ML Tue Oct 18 15:31:08 2016 +0200 +++ b/src/HOL/Tools/SMT/smt_solver.ML Tue Oct 18 16:03:30 2016 +0200 @@ -49,7 +49,7 @@ local fun make_command command options problem_path proof_path = - "(exec 2>&1;" :: map File.bash_string (command () @ options) @ + "(exec 2>&1;" :: map Bash.string (command () @ options) @ [File.bash_path problem_path, ")", ">", File.bash_path proof_path] |> space_implode " "