src/Pure/sorts.ML

--- a/src/Pure/sorts.ML	Wed Sep 01 15:10:12 2010 +0200
+++ b/src/Pure/sorts.ML	Wed Sep 01 15:33:59 2010 +0200
@@ -321,7 +321,7 @@
         | NONE => NONE)
       else NONE;
     val classes' = classes |> Graph.subgraph P;
-    val arities' = arities |> Symtab.map' (map_filter o restrict_arity);
+    val arities' = arities |> Symtab.map (map_filter o restrict_arity);
   in (restrict_sort, rebuild_arities pp (make_algebra (classes', arities'))) end;