--- a/src/HOL/Tools/Nitpick/kodkod.ML Mon Mar 07 20:44:47 2016 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Mon Mar 07 21:09:28 2016 +0100
@@ -1028,8 +1028,8 @@
val outcome =
let
val code =
- Isabelle_System.bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\
- \\"$KODKODI\"/bin/kodkodi" ^
+ Isabelle_System.bash ("cd " ^ File.bash_string temp_dir ^ ";\n\
+ \\"$KODKODI/bin/kodkodi\"" ^
(if ms >= 0 then " -max-msecs " ^ string_of_int ms
else "") ^
(if max_solutions > 1 then " -solve-all" else "") ^
@@ -1038,9 +1038,9 @@
" -max-threads " ^ string_of_int max_threads
else
"") ^
- " < " ^ File.shell_path in_path ^
- " > " ^ File.shell_path out_path ^
- " 2> " ^ File.shell_path err_path)
+ " < " ^ File.bash_path in_path ^
+ " > " ^ File.bash_path out_path ^
+ " 2> " ^ File.bash_path err_path)
val (io_error, (ps, nontriv_js)) =
read_output_file out_path
||> apfst (map (apfst reindex)) ||> apsnd (map reindex)