diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-04 14:08:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-04 14:08:52 +0000 |
| commit | bd3fb898659b91542e7a3109f36b2f8b17e05a5d (patch) | |
| tree | ac202d2fc4697c71a3c908f29e14c91327d9f912 /src/interp/property.lisp | |
| parent | 151f227545f5afa179bd1d0c4b179aa0a83b82f5 (diff) | |
| download | open-axiom-bd3fb898659b91542e7a3109f36b2f8b17e05a5d.tar.gz | |
* interp/daase.lisp (setdatabase): Set superdomain slot too.
* interp/g-util.boot (superType): Handle current domain form.
(maximalSuperType): Tidy.
(noteSubDomainInfo): Call SETDATABASE.
Diffstat (limited to 'src/interp/property.lisp')
0 files changed, 0 insertions, 0 deletions