diff options
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 1e5ff436..298c2fec 100644 --- a/src/interp/br-op2.boot +++ b/src/interp/br-op2.boot @@ -347,7 +347,7 @@ koAttrs(conform,domname) == $infovec: local := dbInfovec conname or return nil $predvec: local := $domain => domainPredicares $domain - getConstructorPredicatesFromDB conname + getConstructorPredicates conname u := [[a,:pred] for [a,:i] in $infovec . 2 | a isnt 'nil and (pred := sublisFormal(args,kTestPred i))] --------- CHECK for a = nil listSort(function GLESSEQP,fn u) where fn u == |