put chr back to life
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2265 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
@@ -923,7 +923,7 @@ is_rbtree(t(_,T)) :-
|
||||
is_rbtree(X,_) :-
|
||||
var(X), !, fail.
|
||||
is_rbtree(T,Goal) :-
|
||||
catch(rbtree1(T), msg(S,Args), format(S,Args)).
|
||||
catch(rbtree1(T), msg(S,Args), (once(Goal),format(S,Args))).
|
||||
|
||||
%
|
||||
% This code checks if a tree is ordered and a rbtree
|
||||
|
Reference in New Issue
Block a user