diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-11 15:33:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-11 15:33:37 +0000 |
commit | e15a618f184aeb8cfd29128e610c336ccd4a984b (patch) | |
tree | 5d2033cbae9de44bc50e552cfc752cd858e936dc /src/algebra/domain.spad.pamphlet | |
parent | 7dee86947c3b587f0b365eeb3a8c0cb3c5510c3c (diff) | |
download | open-axiom-e15a618f184aeb8cfd29128e610c336ccd4a984b.tar.gz |
Forgot to commit change this
Diffstat (limited to 'src/algebra/domain.spad.pamphlet')
-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 1e810607..f61d568f 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 == getOperationAlistFromLisplib(x)$Lisp + operations x == getConstructorOperationsFromDB(x)$Lisp @ |