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 /configure.ac | |
parent | f434b1c1c6f2c9af3da71cd78218f5fa18906616 (diff) | |
download | open-axiom-b4c802eb28e2d66b93d0c888f0cd47fd13ffcf44.tar.gz |
(coerceExtraHard): Convert domain instantiations to domain objects.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions