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/input/axiom.input.pamphlet | |
| 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/input/axiom.input.pamphlet')
0 files changed, 0 insertions, 0 deletions