Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/kodkod.ML
changeset 40743 b07a0dbc8a38
parent 40627 becf5d5187cc
child 41793 c7a2669ae75d 
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Sat Nov 27 14:32:08 2010 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Nov 27 15:28:00 2010 +0100
@@ -983,7 +983,7 @@
     let
       val dir = getenv "ISABELLE_TMP"
       val _ = if !created_temp_dir then ()
-              else (created_temp_dir := true; File.mkdir (Path.explode dir))
+              else (created_temp_dir := true; Isabelle_System.mkdirs (Path.explode dir))
     in (serial_string (), dir) end
 
 (* The fudge term below is to account for Kodkodi's slow start-up time, which
isabelle