aboutsummaryrefslogtreecommitdiff
path: root/src/interp/showimp.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/showimp.boot')
-rw-r--r--src/interp/showimp.boot2
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 : "