From 10791ddc24656aaf22f65887e086fb33dfbad8de Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 29 May 2008 04:23:19 +0000
Subject: 	* interp/showimp.boot (showPredicates): Fix typo. 	*
 testsuite/interpreter/show.input: New.

---
 src/interp/showimp.boot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/interp')

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 : "
-- 
cgit v1.2.3