src/Pure/General/balanced_tree.ML
changeset 32765 3032c0308019
parent 29606 fedb8be05f24
child 47060 e2741ec9ae36
--- a/src/Pure/General/balanced_tree.ML	Tue Sep 29 22:33:27 2009 +0200
+++ b/src/Pure/General/balanced_tree.ML	Tue Sep 29 22:48:24 2009 +0200
@@ -12,7 +12,7 @@
   val accesses: {left: 'a -> 'a, right: 'a -> 'a, init: 'a} -> int -> 'a list
 end;
 
-structure BalancedTree: BALANCED_TREE =
+structure Balanced_Tree: BALANCED_TREE =
 struct
 
 fun make _ [] = raise Empty