Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 33571 3655e51f9958
parent 33232 f93390060bbe
child 33574 113e235e84e3 
--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Thu Oct 29 15:23:25 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Thu Oct 29 15:24:52 2009 +0100
@@ -505,7 +505,7 @@
                                 map prop_for_comp comps @
                                 map prop_for_sign_expr sexps)
     in
-      case silence (SatSolver.invoke_solver "dpll") prop of
+      case SatSolver.invoke_solver "dpll" prop of
         SatSolver.SATISFIABLE asgns =>
         SOME (literals_from_assignments max_var asgns lits
               |> tap print_solution)
isabelle