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/utils | |
| 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/utils')
0 files changed, 0 insertions, 0 deletions