diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-22 20:27:14 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-22 20:27:14 +0000 |
| commit | d8ce72f6274af4970ca31fc215107bd30467e565 (patch) | |
| tree | fbd9c5d1bc42acee3b805d1bb670d09337d3aaec /src/share/algebra/category.daase | |
| parent | 8a64d536e1a5da3c38828d556bfad41c7795d3c1 (diff) | |
| download | open-axiom-d8ce72f6274af4970ca31fc215107bd30467e565.tar.gz | |
* interp/daase.lisp: Remove NILADIC field from DATABASE structure.
(dbNiladic?): Remove. Adjust users.
(WRITE-INTERP): Don't write NILADIC field.
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index a463fd74..e77f2056 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(205468 . 3522901380) +(205468 . 3523030436) ((((-877)) . T)) ((((-877)) . T)) ((((-877)) . T)) |