src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 33571 3655e51f9958
parent 33232 f93390060bbe
child 33574 113e235e84e3
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Thu Oct 29 15:23:25 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Thu Oct 29 15:24:52 2009 +0100
     1.3 @@ -505,7 +505,7 @@
     1.4                                  map prop_for_comp comps @
     1.5                                  map prop_for_sign_expr sexps)
     1.6      in
     1.7 -      case silence (SatSolver.invoke_solver "dpll") prop of
     1.8 +      case SatSolver.invoke_solver "dpll" prop of
     1.9          SatSolver.SATISFIABLE asgns =>
    1.10          SOME (literals_from_assignments max_var asgns lits
    1.11                |> tap print_solution)