diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:45:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-22 09:45:52 +0000 |
| commit | 013c2620f9aaffd31a10fed19ac48bad9074f707 (patch) | |
| tree | 9202e22de33ac20eb57cf31512c0edd61e48007e /src/ChangeLog | |
| parent | 0ce3502a3677bfb4fb58c664b7ae00d530e5bacf (diff) | |
| download | open-axiom-013c2620f9aaffd31a10fed19ac48bad9074f707.tar.gz | |
* interp/br-search.boot (dbReadLines): Don't include end-of-stream
marker.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 297b9991..770b3cec 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2011-06-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/br-search.boot (dbReadLines): Don't include end-of-stream + marker. + +2011-06-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot (optCond): Remove unreachable code. (opt2bit): Tidy. (opt2bool): Likewise. |