| changeset 36377 | b3dce4c715d0 |
| parent 36287 | 96f45c5ffb36 |
| child 38037 | f6059e262004 |
--- a/src/HOL/Tools/ATP_Manager/SystemOnTPTP Fri Apr 23 18:06:41 2010 +0200 +++ b/src/HOL/Tools/ATP_Manager/SystemOnTPTP Fri Apr 23 18:11:41 2010 +0200 @@ -136,7 +136,7 @@ print $Response->content; exit(0); }else { - print "Remote-script could not extract proof:\n".$Response->content; + print "Remote script could not extract proof:\n".$Response->content; exit(-1); }