src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Tue Sep 29 22:33:27 2009 +0200
+++ b/src/Pure/axclass.ML	Tue Sep 29 22:48:24 2009 +0200
@@ -419,7 +419,7 @@
       if n = 0 then []
       else
         (eq RS Drule.equal_elim_rule1)
-        |> BalancedTree.dest (fn th =>
+        |> Balanced_Tree.dest (fn th =>
           (th RS Conjunction.conjunctionD1, th RS Conjunction.conjunctionD2)) n;
   in (intro, dests) end;