src/Pure/tactic.ML

--- a/src/Pure/tactic.ML	Tue Nov 24 14:37:23 2009 +0100
+++ b/src/Pure/tactic.ML	Tue Nov 24 17:28:25 2009 +0100
@@ -173,7 +173,7 @@
   perm_tac 0 (1 - i);
 
 fun distinct_subgoal_tac i st =
-  (case Library.drop (i - 1, Thm.prems_of st) of
+  (case (uncurry drop) (i - 1, Thm.prems_of st) of
     [] => no_tac st
   | A :: Bs =>
       st |> EVERY (fold (fn (B, k) =>