diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index f39cf6a..9ae7057 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -5106,7 +5106,6 @@ FiniteLinearAggregate(S:Type): Category == LinearAggregate S with
     if % has shallowlyMutable then
       reverse x	 == reverse_! copy x
       sort(f, l) == sort_!(f, copy l)
-      reverse x	 == reverse_! copy x
 
       if S has OrderedSet then
 	sort_! l == sort_!(_<$S, l)
diff --git a/changelog b/changelog
index 301732a..29c2f46 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20080917 tpd books/bookvol10.2 remove duplicate function def in FLAGG	
 20080916 tpd books/ps/v102streamaggregate.ps
 20080916 tpd books/ps/v102listaggregate.ps
 20080916 tpd books/ps/v102finitelinearaggregate.ps corrected diagram