# HG changeset patch
# User blanchet
# Date 1310588179 -7200
# Node ID 402e1a0d93d9f23168fc5d5e304489402a7b3921
# Parent  efcdaaa1c7d3b8ee061ec5c9293a3f9ed0a95801
better temp name creation for Nitrox -- still very hackish though, but should get us through CASC-23 and CASC-J6

diff -r efcdaaa1c7d3 -r 402e1a0d93d9 src/HOL/Tools/Nitpick/lib/Tools/nitrox
--- a/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Wed Jul 13 22:16:19 2011 +0200
@@ -18,9 +18,11 @@
 
 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
 
+SCRATCH="Scratch_${PRG}_$$_${RANDOM}"
+
 for FILE in "$@"
 do
-  echo "theory Scratch imports \"Nitpick\" begin ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *} end;" \
-    > /tmp/$ISABELLE_TMP/Scratch.thy
-  $ISABELLE_PROCESS -e "use_thy \"/tmp/$ISABELLE_TMP/Scratch\"; exit 1;"
+  echo "theory $SCRATCH imports \"Nitpick\" begin ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *} end;" \
+    > /tmp/$SCRATCH.thy
+  $ISABELLE_PROCESS -e "use_thy \"/tmp/$SCRATCH\"; exit 1;"
 done