diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-23 05:33:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-23 05:33:12 +0000 |
commit | 956bc9cce88ce71cdb46e3ecb9d9e1c1753dc601 (patch) | |
tree | 291a8d233d93f76f624c92575cc190203647ba61 /src/driver | |
parent | dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf (diff) | |
download | open-axiom-956bc9cce88ce71cdb46e3ecb9d9e1c1753dc601.tar.gz |
* interp/bootlex.lisp (spad): Don't bind $noSubsumption.
* interp/i-spec1.boot (evalCOLLECT): Fix thinko.
Diffstat (limited to 'src/driver')
0 files changed, 0 insertions, 0 deletions