From 6f5bb8b97c05bc027dff9577d3cba33938c8ee9c Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 10 Jun 2009 10:41:51 +0000 Subject: * interp/parse.boot (parseDropAssertions): Remove. (parseCategory): Don't call it. * interp/nrungo.boot (lookupPred): Don't check for "asserted". --- src/ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 8c885d12..44bf6a01 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2009-06-10 Gabriel Dos Reis + + * interp/parse.boot (parseDropAssertions): Remove. + (parseCategory): Don't call it. + * interp/nrungo.boot (lookupPred): Don't check for "asserted". + 2009-06-10 Gabriel Dos Reis * interp/parse.boot (parseHas): Preserve unnamed category forms. -- cgit v1.2.3