diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-09-17 15:05:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-09-17 15:05:35 +0000 |
| commit | 2e464d0c7c161931e8767b6019d93c92d7fd9586 (patch) | |
| tree | e9707259f95b045f43597af72023b16a802e133e /src/interp/ChangeLog | |
| parent | 7fddd1baa9d6b643302f8c243686d74741aa198a (diff) | |
| download | open-axiom-2e464d0c7c161931e8767b6019d93c92d7fd9586.tar.gz | |
* i-spec1.boot.pamphlet (mkAndApplyZippedPredicates): Fix typo.
(mkIterZippedFun): Use indexList, not the global $indexVars.
Diffstat (limited to 'src/interp/ChangeLog')
| -rw-r--r-- | src/interp/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index e72fe303..dafb881e 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,3 +1,8 @@ +2007-09-17 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * i-spec1.boot.pamphlet (mkAndApplyZippedPredicates): Fix typo. + (mkIterZippedFun): Use indexList, not the global $indexVars. + 2007-09-15 Gabriel Dos Reis <gdr@cs.tamu.edu> Fix Bug SF/1790563 |