diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix missing cut (obs from Bernd).

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-12-13 19:35:16 +00:00
parent 1369057cc4
commit 9f8f8ee73e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/checker.yap
View File

@ -177,7 +177,7 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
'$ground_vars'(V2L). '$ground_vars'(V2L).
'$sv_list'([],[]). '$sv_list'([],[]).
'$sv_list'([[[95|_]|_]|T],L) :- '$sv_list'([[95|_]._|T],L) :- !,
'$sv_list'(T,L). '$sv_list'(T,L).
'$sv_list'([_|V].T,L) :- nonvar(V), !, '$sv_list'([_|V].T,L) :- nonvar(V), !,
'$sv_list'(T,L). '$sv_list'(T,L).