diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-05 00:58:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-05 00:58:16 +0000 |
| commit | ce7aedf615e201aedf7f21d8aa18b2657dd56c3d (patch) | |
| tree | 35bcf595ee42209deed61c9e4fb0726a0810d677 /src/interp/cattable.boot | |
| parent | 65ee234606464f1b5c614ff6d612095bf7520aa5 (diff) | |
| download | open-axiom-ce7aedf615e201aedf7f21d8aa18b2657dd56c3d.tar.gz | |
* interp/daase.lisp (GETDATABASE): Do not handle PREDICATES and
ATTRIBUTES selectors anymore.
* interp/database.boot (getConstructorPredicates): Rename from
getConstructorPredicatesFromDB. Adjust callers.
(getConstructorAttributes): Rename from getConstructorAttributesFromDB.
Adjust callers.
Diffstat (limited to 'src/interp/cattable.boot')
| -rw-r--r-- | src/interp/cattable.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 247caee3..fbb0b6c0 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -151,7 +151,7 @@ simpHasAttribute(pred,conform,attr) == --eval w/o loading k = 0 => true $domain => kTestPred k --from koOps predvec := $predvec or sublisFormal(conform.args, - getConstructorPredicatesFromDB conname) + getConstructorPredicates conname) simpHasPred predvec.(k - 1) simpCatHasAttribute(domform,attr) == |