From aba3854c27355675f6553471eb112ef749f98e73 Mon Sep 17 00:00:00 2001 From: vsc Date: Sat, 6 Apr 2002 00:03:11 +0000 Subject: [PATCH] fix ynnecessary choice-point in stream property. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@428 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/yio.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/yio.yap b/pl/yio.yap index d4fbfefb8..8bab64dbc 100644 --- a/pl/yio.yap +++ b/pl/yio.yap @@ -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) :-