From 549aab1d993019339d4eef36049e7639c37ca1b6 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 19 May 2013 22:42:42 +0000 Subject: Use ShallowlyMutableAggregate. --- src/algebra/sortpak.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/sortpak.spad.pamphlet') diff --git a/src/algebra/sortpak.spad.pamphlet b/src/algebra/sortpak.spad.pamphlet index f9823221..3b8d5cf0 100644 --- a/src/algebra/sortpak.spad.pamphlet +++ b/src/algebra/sortpak.spad.pamphlet @@ -16,7 +16,7 @@ ++ This package exports sorting algorithnms SortPackage(S,A) : Exports == Implementation where S: Type - A: Join(IndexedAggregate(Integer,S),FiniteAggregate S) with shallowlyMutable + A: Join(IndexedAggregate(Integer,S),FiniteAggregate S,ShallowlyMutableAggregate S) Exports == with bubbleSort!: (A,(S,S) -> Boolean) -> A -- cgit v1.2.3