diff -r 7414ce0256e1 -r 8207c67d9ef4 src/Pure/tactic.ML
--- a/src/Pure/tactic.ML	Mon Aug 27 22:58:36 2018 +0200
+++ b/src/Pure/tactic.ML	Tue Aug 28 10:58:43 2018 +0200
@@ -28,7 +28,6 @@
   val ematch_tac: Proof.context -> thm list -> int -> tactic
   val dmatch_tac: Proof.context -> thm list -> int -> tactic
   val flexflex_tac: Proof.context -> tactic
-  val distinct_subgoal_tac: int -> tactic
   val distinct_subgoals_tac: tactic
   val cut_tac: thm -> int -> tactic
   val cut_rules_tac: thm list -> int -> tactic