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/ChangeLog | |
| parent | f434b1c1c6f2c9af3da71cd78218f5fa18906616 (diff) | |
| download | open-axiom-b4c802eb28e2d66b93d0c888f0cd47fd13ffcf44.tar.gz | |
(coerceExtraHard): Convert domain instantiations to domain objects.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5d72a4c7..9f61d8ee 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,7 @@ 2008-07-02 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot (compExpression): Tidy. + (coerceExtraHard): Convert domain instantiations to domain objects. 2008-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> |