diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/database.boot | 3 |
1 files changed, 2 insertions, 1 deletions
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 == |