diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-29 09:09:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-29 09:09:06 +0000 |
commit | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (patch) | |
tree | 2585432df13508961944c11d5d77182600c6251e /src/ChangeLog | |
parent | 36b22c4ce6b2f228f55dfe44c8d510cf8c7a941e (diff) | |
download | open-axiom-23cd05760f795f58d2eafc56b93d0f7e22e89c9a.tar.gz |
* interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 59611be8..d4334bd9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 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> + * interp/nruncomp.boot (deltaTran): Don't encode signature again. (genDeltaEntry): Remove dead pattern match. |