diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-02 14:15:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-02 14:15:15 +0000 |
| commit | b4c802eb28e2d66b93d0c888f0cd47fd13ffcf44 (patch) | |
| tree | 16acf730fc3aed991290099ac8d069ee6258af32 /src/testsuite | |
| parent | f434b1c1c6f2c9af3da71cd78218f5fa18906616 (diff) | |
| download | open-axiom-b4c802eb28e2d66b93d0c888f0cd47fd13ffcf44.tar.gz | |
(coerceExtraHard): Convert domain instantiations to domain objects.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions