1.1 --- a/src/HOL/Tools/SMT/smt_setup_solvers.ML	Sat Jan 12 22:14:29 2013 +0100
     1.2 +++ b/src/HOL/Tools/SMT/smt_setup_solvers.ML	Sat Jan 12 23:07:21 2013 +0100
     1.3 @@ -130,7 +130,8 @@
     1.4          "applications.")
     1.5    | Z3_Non_Commercial_Unknown =>
     1.6        error ("The SMT solver Z3 is not activated. To activate it, set\n" ^
     1.7 -        "the environment variable " ^ quote flagN ^ " to " ^ quote "yes" ^ "." ^
     1.8 +        "the environment variable " ^ quote flagN ^ " to " ^ quote "yes" ^ ",\n" ^
     1.9 +        "and restart the Isabelle system." ^
    1.10          (if getenv "Z3_COMPONENT" = "" then ""
    1.11           else "\nSee also " ^ Path.print (Path.expand (Path.explode "$Z3_COMPONENT/etc/settings")))))
    1.12