src/HOL/Tools/Nitpick/kodkod.ML
changeset 43850 7f2cbc713344
parent 43085 0a2f5b86bdd7
child 47490 f4348634595b
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -1034,7 +1034,7 @@
     1.4            val outcome =
     1.5              let
     1.6                val code =
     1.7 -                bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\
     1.8 +                Isabelle_System.bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\
     1.9                        \\"$KODKODI\"/bin/kodkodi" ^
    1.10                        (if ms >= 0 then " -max-msecs " ^ string_of_int ms
    1.11                         else "") ^