diff options
Diffstat (limited to 'src/interp/showimp.boot')
| -rw-r--r-- | src/interp/showimp.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/showimp.boot b/src/interp/showimp.boot index d593b847..d873129f 100644 --- a/src/interp/showimp.boot +++ b/src/interp/showimp.boot @@ -209,7 +209,7 @@ showPredicates dom == sayBrightly '"--------------------Predicate summary-------------------" conname := CAR dom.0 predvector := dom.3 - predicateList := getConstructorPredicateFromDB conname + predicateList := getConstructorPredicatesFromDB conname for i in 1.. for p in predicateList repeat prefix := testBitVector(predvector,i) => '"true : " |