diff options
Diffstat (limited to 'src/interp/br-op1.boot')
| -rw-r--r-- | src/interp/br-op1.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-op1.boot b/src/interp/br-op1.boot index 72f65fa4..5144fba7 100644 --- a/src/interp/br-op1.boot +++ b/src/interp/br-op1.boot @@ -392,7 +392,7 @@ dbGatherDataImplementation(htPage,opAlist) == dom := eval domainForm which := '"operation" [nam,:$domainArgs] := domainForm - $predicateList: local := getConstructorPredicatesFromDB nam + $predicateList: local := getConstructorPredicates nam predVector := domainPredicates dom u := getDomainOpTable(dom,true,ASSOCLEFT opAlist) --u has form ((op,sig,:implementor)...) |