diff -r 0ac3db5a59a8 -r db8b10fd51a4 contrib/SystemOnTPTP/remote
--- a/contrib/SystemOnTPTP/remote	Sat Mar 14 15:15:44 2009 +0100
+++ b/contrib/SystemOnTPTP/remote	Sat Mar 14 15:45:45 2009 +0100
@@ -83,17 +83,13 @@
 
 #catch errors / failure
 if(! $Response->is_success){
-  	print "HTTP-Error: " . $Response->message . "\n";
-    exit(-1);
+  print "HTTP-Error: " . $Response->message . "\n";
+  exit(-1);
 } elsif (exists($Options{'w'})) {
   print $Response->content;
   exit (0);
 } elsif ($Response->content =~ /NO SOLUTION OUTPUT BY SYSTEM/){
-  if ($Response->content =~ /%\s*Result\s*:(.*)\n%\s*Output\s*:(.*)\n%/) {
-    print "No Solution Output\nResult: $1\nOutput: $2\n";
-  } else {
-    print "No Solution Output\n";
-  }
+  print "No Solution Output by System\n";
   exit(-1);
 } elsif ($Response->content =~ /ERROR: Could not form TPTP format derivation/) {
   print "Could not form TPTP format derivation\n";