diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-08 21:50:52 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-08 21:50:52 -0800 |
commit | f49b0656655f43f8aab325f8b24537edacb9f382 (patch) | |
tree | 5cb4c06504aae69d33cee0536c0457d16a3ad9ac /src/doc/help/set.help | |
parent | e4c7fc35015d5a0c5bceb993ecdb9d5da5ddbb61 (diff) | |
download | open-axiom-f49b0656655f43f8aab325f8b24537edacb9f382.tar.gz |
Do not let domain closure escape lookupDefinitionFunction
A successful call to compiledLookup will come up with any of the form
that results from stuffSlot. Handle them here. Remove confused and
dead code.
Diffstat (limited to 'src/doc/help/set.help')
0 files changed, 0 insertions, 0 deletions