From aca06e16fc17935112626eb36c9a599f94f7c30b Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 31 Oct 2008 09:42:32 +0000 Subject: [PATCH] fix bad call to map_tree (obs from Paulo Moura). --- library/rbtrees.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/rbtrees.yap b/library/rbtrees.yap index e0c47829b..b0e53dfd8 100644 --- a/library/rbtrees.yap +++ b/library/rbtrees.yap @@ -852,7 +852,7 @@ rb_partial_map(t(Nil,T0), Map, Goal, t(Nil,TF)) :- partial_map(T0, Map, [], Nil, Goal, TF). rb_partial_map(t(Nil,T0), Map, Map0, Goal, t(Nil,TF)) :- - rb_partial_map(T0, Map, Map0, Nil, Goal, TF). + partial_map(T0, Map, Map0, Nil, Goal, TF). partial_map(T,[],[],_,_,T) :- !. partial_map(black('',_,_,_),Map,Map,Nil,_,Nil) :- !.