src/HOL/Tools/ATP/atp_systems.ML
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 *)