# HG changeset patch
# User wenzelm
# Date 1310677525 -7200
# Node ID 136ac1de4cbc63137b190095dbb39525d957e7fa
# Parent  1162191cb57c203cca561cb559192a4b3d6d3645
more quotes;

diff -r 1162191cb57c -r 136ac1de4cbc src/HOL/Tools/Nitpick/lib/Tools/nitrox
--- a/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Thu Jul 14 22:53:43 2011 +0200
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Thu Jul 14 23:05:25 2011 +0200
@@ -24,5 +24,5 @@
 do
   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;"
+  "$ISABELLE_PROCESS" -e "use_thy \"/tmp/$SCRATCH\"; exit 1;"
 done