aboutsummaryrefslogtreecommitdiff
path: root/src/interp/database.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r--src/interp/database.boot4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot
index 5a0bd592..8e764e50 100644
--- a/src/interp/database.boot
+++ b/src/interp/database.boot
@@ -120,7 +120,9 @@ getDualSignature ctor ==
getConstructorPredicates: %Constructor -> %List %Thing
getConstructorPredicates ctor ==
- dbPredicates loadDBIfNecessary constructorDB ctor
+ db := constructorDB ctor
+ dbBeingDefined? db => dbPredicates db
+ dbPredicates loadDBIfNecessary db
getConstructorParentsFromDB: %Constructor -> %List %Constructor
getConstructorParentsFromDB ctor ==