From e30c70e6661aff69dcf8f4752ed6679e4ce41fcf Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 20 May 2013 23:59:34 +0000 Subject: * interp/database.boot (getConstructorAbbreviationFromDB): Use DB data structure directtly. --- src/ChangeLog | 5 +++++ src/interp/database.boot | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index 3cfc6e4d..bb77e5b3 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2013-05-20 Gabriel Dos Reis + + * interp/database.boot (getConstructorAbbreviationFromDB): Use DB + data structure directtly. + 2013-05-20 Gabriel Dos Reis * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to diff --git a/src/interp/database.boot b/src/interp/database.boot index 1457f51c..7517e834 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -74,7 +74,8 @@ makeConstructor(s,k == nil,a == nil) == getConstructorAbbreviationFromDB: %Symbol -> %Symbol getConstructorAbbreviationFromDB ctor == - GETDATABASE(ctor,"ABBREVIATION") + db := constructorDB ctor => dbAbbreviation db + nil getConstructorCategory: %Symbol -> %Form getConstructorCategory ctor == -- cgit v1.2.3