src/HOL/Tools/Nitpick/kodkod.ML
changeset 64304 96bc94c87a81
parent 62826 eb94e570c1a4
child 67560 0fa87bd86566
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Oct 18 15:31:08 2016 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Oct 18 16:03:30 2016 +0200
@@ -1028,7 +1028,7 @@
           val outcome =
             let
               val code =
-                Isabelle_System.bash ("cd " ^ File.bash_string temp_dir ^ ";\n\
+                Isabelle_System.bash ("cd " ^ Bash.string temp_dir ^ ";\n\
                       \\"$KODKODI/bin/kodkodi\"" ^
                       (if ms >= 0 then " -max-msecs " ^ string_of_int ms
                        else "") ^