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/interp/database.boot | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/interp') 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