diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
commit | e694e02b3c8e9ae322df7440a29c3011a11503e7 (patch) | |
tree | 5dbeebcf26c3be930421b77d688384f0e19f8f5b /src/interp/br-op2.boot | |
parent | 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd (diff) | |
download | open-axiom-e694e02b3c8e9ae322df7440a29c3011a11503e7.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/br-op2.boot')
-rw-r--r-- | src/interp/br-op2.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-op2.boot b/src/interp/br-op2.boot index 452a4abc..480ea00c 100644 --- a/src/interp/br-op2.boot +++ b/src/interp/br-op2.boot @@ -347,7 +347,7 @@ koAttrs(conform,domname) == koCatAttrs(conform,domname) $infovec: local := dbInfovec conname or return nil $predvec: local := - $domain => vectorRef($domain,3) + $domain => domainPredicares $domain getConstructorPredicatesFromDB conname u := [[a,:pred] for [a,:i] in $infovec . 2 | a isnt 'nil and (pred := sublisFormal(args,kTestPred i))] --------- CHECK for a = nil |