# HG changeset patch
# User haftmann
# Date 1251807138 -7200
# Node ID b928f2948bf58fecd03c377156ad0e45be8bb35c
# Parent  0d7e8d858b44353874d40bc3a45c5c45a5fb785a
tuned

diff -r 0d7e8d858b44 -r b928f2948bf5 src/Pure/General/alist.ML
--- a/src/Pure/General/alist.ML	Mon Aug 24 08:31:41 2009 +0200
+++ b/src/Pure/General/alist.ML	Tue Sep 01 14:12:18 2009 +0200
@@ -122,6 +122,6 @@
   in coal end;
 
 fun group eq xs =
-  fold_rev (fn (k, v) => default eq (k, []) #> map_entry eq k (cons v)) xs [];
+  fold_rev (fn (k, v) => map_default eq (k, []) (cons v)) xs [];
 
 end;