From 065dc716ace343dc72a3c87201bdf43b67b039ed Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 28 May 2013 07:09:25 +0000 Subject: Remove $domainShell. --- src/ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 67a73452..0f7983ef 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2013-05-28 Gabriel Dos Reis + + * interp/sys-globals.boot ($domainShell): Remove. + * interp/c-util.boot (%CompilationData): Add shell field. + (dbDomainShell): New accessor. Replace $domainShell variable. + 2013-05-27 Gabriel Dos Reis * interp/compiler.boot(compNoStacking): Add DB parameter. -- cgit v1.2.3