diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-17 09:37:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-17 09:37:33 +0000 |
commit | 1e6db8d4424e63a8992d7fc04917ddfd6ce94378 (patch) | |
tree | 17c39a95de3b5e19945aada5dded01b26757c129 /src/algebra/Makefile.am | |
parent | 1a4d9fc1eef3c6ac261907a42a1d6e0cf0490dfc (diff) | |
download | open-axiom-1e6db8d4424e63a8992d7fc04917ddfd6ce94378.tar.gz |
* algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default
implementation for empty?.
Diffstat (limited to 'src/algebra/Makefile.am')
-rw-r--r-- | src/algebra/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index 9a44eddb..0b2a6854 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -1485,7 +1485,7 @@ oa_algebra_layer_0 = \ FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ - DIOPS DIOPS- STRING FINAGG \ + DIOPS DIOPS- STRING FINAGG FINAGG- \ LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ |