diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
| commit | 3d51abbf17fa58fadbfa59757f50908488f6f9d9 (patch) | |
| tree | 7fd28af0acab689ee3cc00bd31550ab61ce842d4 /src/interp/ptrees.boot | |
| parent | c758c27852f049e021da8855a290dd876e3b7050 (diff) | |
| download | open-axiom-3d51abbf17fa58fadbfa59757f50908488f6f9d9.tar.gz | |
More cleanups
Diffstat (limited to 'src/interp/ptrees.boot')
| -rw-r--r-- | src/interp/ptrees.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/ptrees.boot b/src/interp/ptrees.boot index b152d326..1d3848ee 100644 --- a/src/interp/ptrees.boot +++ b/src/interp/ptrees.boot @@ -161,8 +161,8 @@ pfNotArg pf == second pf -- was ==> pfEnSequence a== if null a then pfTuple pfListOf a - else if null cdr a - then car a + else if null rest a + then first a else pfSequence pfListOf a pfFromDom(dom,expr)== if pfApplication? expr |