# HG changeset patch
# User blanchet
# Date 1288349345 -7200
# Node ID ee578bc82cbcc7b70d69e2dc704250e1a4e5b29c
# Parent  b91e2e16d994351fd2334cd079ea4e7dc9fb5764
no need for setting up the kodkodi environment since Kodkodi 1.2.9

diff -r b91e2e16d994 -r ee578bc82cbc src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri Oct 29 12:49:05 2010 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Fri Oct 29 12:49:05 2010 +0200
@@ -1036,12 +1036,7 @@
           val outcome =
             let
               val code =
-                bash ("cd " ^ File.shell_quote temp_dir ^ ";\n" ^
-                      "env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \
-                      \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
-                      \$JAVA_LIBRARY_PATH\" \
-                      \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
-                      \$LD_LIBRARY_PATH\" \
+                bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\
                       \\"$KODKODI\"/bin/kodkodi" ^
                       (if ms >= 0 then " -max-msecs " ^ string_of_int ms
                        else "") ^