changeset 41269 | abe867c29e55 |
parent 41238 | 78e4508d2e54 |
child 41313 | a96ac4d180b7 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Sat Dec 18 13:48:24 2010 +0100 +++ b/src/HOL/Tools/ATP/atp_systems.ML Sat Dec 18 14:02:14 2010 +0100 @@ -204,7 +204,8 @@ fun the_system name versions = case get_system name versions of SOME sys => sys - | NONE => error ("System " ^ quote name ^ " not available at SystemOnTPTP.") + | NONE => error ("System " ^ quote name ^ + " is not available at SystemOnTPTP.") val max_remote_secs = 240 (* give Geoff Sutcliffe's servers a break *)