src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 43602 8c89a1fb30f2
parent 43585 ea959ab7bbe3
child 43619 3803869014aa
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jun 30 11:15:36 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jun 30 13:21:41 2011 +0200
     1.3 @@ -206,7 +206,8 @@
     1.4  
     1.5  fun with_overlord_dir name f =
     1.6    let
     1.7 -    val path = Path.append (Path.explode "~/.isabelle") (Path.basic (name ^ serial_string ()))
     1.8 +    val path =
     1.9 +      Path.append (Path.explode "$ISABELLE_HOME_USER") (Path.basic (name ^ serial_string ()))
    1.10      val _ = Isabelle_System.mkdirs path;
    1.11    in Exn.release (Exn.capture f path) end;
    1.12