1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Oct 27 12:16:26 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Oct 27 14:40:24 2009 +0100
     1.3 @@ -1044,7 +1044,10 @@
     1.4                val code =
     1.5                  system ("env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \
     1.6                          \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
     1.7 -                        \$JAVA_LIBRARY_PATH\" \"$ISABELLE_TOOL\" java \
     1.8 +                        \$JAVA_LIBRARY_PATH\" \
     1.9 +                        \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
    1.10 +                        \$LD_LIBRARY_PATH\" \
    1.11 +                        \\"$ISABELLE_TOOL\" java \
    1.12                          \de.tum.in.isabelle.Kodkodi.Kodkodi" ^
    1.13                          (if ms >= 0 then " -max-msecs " ^ Int.toString ms
    1.14                           else "") ^