fix ynnecessary choice-point in stream property.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@428 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
ff0b60d7a7
commit
aba3854c27
@ -771,7 +771,7 @@ stream_property(Stream, Prop) :- var(Prop), !,
|
||||
'$stream_property'(Stream, Prop).
|
||||
stream_property(Stream, Props) :- var(Stream), !,
|
||||
'$current_stream'(_,_,Stream),
|
||||
'$stream_property'(Stream, Props).
|
||||
'$stream_property'(Stream, Props), !.
|
||||
stream_property(Stream, Props) :-
|
||||
'$stream_property'(Stream, Props).
|
||||
stream_property(Stream, Props) :-
|
||||
|
Reference in New Issue
Block a user