# HG changeset patch
# User blanchet
# Date 1262850355 -3600
# Node ID 16496e04ca462f9e1bc9c3e6ed3215643f10d741
# Parent  951aa92d06bbc3c01926cb1a2820dea66fc7967d
make Nitpick's tests not leave files in the temp directory

diff -r 951aa92d06bb -r 16496e04ca46 src/HOL/Tools/Nitpick/nitpick_tests.ML
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Wed Jan 06 23:18:44 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Jan 07 08:45:55 2010 +0100
@@ -322,7 +322,7 @@
 
 (* string -> unit *)
 fun run_test name =
-  case Kodkod.solve_any_problem true NONE 0 1
+  case Kodkod.solve_any_problem false NONE 0 1
            [problem_for_nut @{context} name
                             (the (AList.lookup (op =) tests name))] of
     Kodkod.Normal ([], _) => ()