fixed total

--- a/src/HOL/TPTP/mash_eval.ML	Thu Dec 27 10:01:40 2012 +0100
+++ b/src/HOL/TPTP/mash_eval.ML	Thu Dec 27 10:21:21 2012 +0100
@@ -145,7 +145,7 @@
     val _ = print " * * *";
     val _ = print ("Options: " ^ commas options);
     val oks = Par_List.map solve_goal (tag_list 1 lines)
-    val n = length (hd oks)
+    val n = length oks
     val [mepo_ok, mash_ok, mesh_ok, isar_ok] =
       map Integer.sum (map_transpose I oks)
   in