aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-09-21 20:03:55 +0000
committerdos-reis <gdr@axiomatics.org>2009-09-21 20:03:55 +0000
commit31cfd568a21d4187e3ac8e19439fa59e69273619 (patch)
tree7fed27f29e0584dca207671771f598108c304a13 /src/ChangeLog
parentce6a9cf2d4342177e2a97d56f63f14d72de61a90 (diff)
downloadopen-axiom-31cfd568a21d4187e3ac8e19439fa59e69273619.tar.gz
* interp/i-spec2.boot (findConstantInDomain): Substitute into the
result domain.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 43db45c0..e270b15d 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,10 @@
2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/i-spec2.boot (findConstantInDomain): Substitute into the
+ result domain.
+
+2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* lib/openpty.c (ptyopen): Fix thinko.
2009-09-20 Gabriel Dos Reis <gdr@cs.tamu.edu>