src/Provers/classical.ML

--- a/src/Provers/classical.ML	Thu Oct 15 23:10:35 2009 +0200
+++ b/src/Provers/classical.ML	Thu Oct 15 23:28:10 2009 +0200
@@ -938,7 +938,7 @@
     val ruleq = Drule.multi_resolves facts rules;
   in
     Method.trace ctxt rules;
-    fn st => Seq.flat (Seq.map (fn rule => Tactic.rtac rule i st) ruleq)
+    fn st => Seq.maps (fn rule => Tactic.rtac rule i st) ruleq
   end)
   THEN_ALL_NEW Goal.norm_hhf_tac;