changeset 57199 | 472360558b22 |
parent 57157 | 87b4d54b1fbe |
child 57209 | 7ffa0f7e2775 |
--- a/src/HOL/Tools/SMT2/smt2_config.ML Mon Jun 09 16:08:30 2014 +0200 +++ b/src/HOL/Tools/SMT2/smt2_config.ML Tue Jun 10 11:38:53 2014 +0200 @@ -99,9 +99,9 @@ fun warn_solver (Context.Proof ctxt) name = if Context_Position.is_visible ctxt then - warning ("The SMT solver " ^ quote name ^ " is not installed.") + warning ("The SMT solver " ^ quote name ^ " is not installed") else () - | warn_solver _ _ = (); + | warn_solver _ _ = () fun select_solver name context = let