diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-27 07:41:49 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-27 07:41:49 +0000 |
| commit | 320d0c5d61b2fc8cb6780b9c7e426a76e126307a (patch) | |
| tree | e593716c7f294b29fbfe4dd1f71758453f9b3586 /src/interp/database.boot | |
| parent | b34b11df886a81fe707bb09677c1ecd9715dbe70 (diff) | |
| download | open-axiom-320d0c5d61b2fc8cb6780b9c7e426a76e126307a.tar.gz | |
* interp/br-util.boot (dbInfovec): Move to c-util.boot
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 05a3e845..1286a98a 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -113,7 +113,7 @@ getDualSignatureFromDB: %Constructor -> %Form getDualSignatureFromDB ctor == GETDATABASE(ctor,"COSIG") -getConstructorPredicatesFromDB: %Constructor -> %Thing +getConstructorPredicatesFromDB: %Constructor -> %List %Thing getConstructorPredicatesFromDB ctor == GETDATABASE(ctor,"PREDICATES") @@ -642,7 +642,7 @@ updateDatabase(fname,cname,systemdir?) == if oldFname := getConstructorAbbreviationFromDB cname then clearClams() clearAllSlams [] - if GETL(cname, 'LOADED) then + if property(cname, 'LOADED) then clearConstructorCaches() if $forceDatabaseUpdate or not systemdir? then clearClams() |