diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-29 04:23:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-29 04:23:19 +0000 |
commit | 10791ddc24656aaf22f65887e086fb33dfbad8de (patch) | |
tree | 04fce55e5e7121c9b75003fd283b57defa7ecdbc /src/interp | |
parent | 4e02059131e34a2c09f60273244d22a6f6afbd1c (diff) | |
download | open-axiom-10791ddc24656aaf22f65887e086fb33dfbad8de.tar.gz |
* interp/showimp.boot (showPredicates): Fix typo.
* testsuite/interpreter/show.input: New.
Diffstat (limited to 'src/interp')
-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 : " |