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 /src/ChangeLog | |
parent | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (diff) | |
download | open-axiom-cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd.tar.gz |
* interp/define.boot (mustInstantiate): Fix thinko introduced by
earlier tweaks.
(mkExplicitCategoryFunction): Likewise.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d4334bd9..86ae0c33 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,11 @@ 2008-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (mustInstantiate): Fix thinko introduced by + earlier tweaks. + (mkExplicitCategoryFunction): Likewise. + +2008-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused. 2008-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu> |