diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-09 03:44:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-09 03:44:51 +0000 |
| commit | eae3a083200c3d0d33851fac82cd9ef8a134d0c9 (patch) | |
| tree | 7d8cc30a017fb4a72e999480e87d4ee54e559926 /src/algebra | |
| parent | 6a7db2f84b6f8b2a1729092cc5259c576aff0ded (diff) | |
| download | open-axiom-eae3a083200c3d0d33851fac82cd9ef8a134d0c9.tar.gz | |
Tidy FunctionDescriptor
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 47679554..3984223c 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -111,7 +111,7 @@ ConstructorCategory(): Category == OperatorCategory Identifier with kind x == getConstructorKind(x)$Lisp arity x == getConstructorArity(x)$Lisp dualSignature x == getDualSignatureFromDB(x)$Lisp - operations x == getConstructorOperationsFromDB(x)$Lisp + operations x == getOperationAlistFromLisplib(x)$Lisp @ |