diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
commit | cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd (patch) | |
tree | 62b56048161f51096f8a6873e598c24dc3ce0374 /config | |
parent | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (diff) | |
download | open-axiom-cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd.tar.gz |
* interp/define.boot (mustInstantiate): Fix thinko introduced by
earlier tweaks.
(mkExplicitCategoryFunction): Likewise.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions