From 9f8f8ee73e3a13514c1f91c5812a88db15ec270a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Mon, 13 Dec 2010 19:35:16 +0000
Subject: [PATCH] fix missing cut (obs from Bernd).

---
 pl/checker.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pl/checker.yap b/pl/checker.yap
index ac23cb0f2..6e52d9a53 100644
--- a/pl/checker.yap
+++ b/pl/checker.yap
@@ -177,7 +177,7 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
 	'$ground_vars'(V2L).
 
 '$sv_list'([],[]).
-'$sv_list'([[[95|_]|_]|T],L) :-
+'$sv_list'([[95|_]._|T],L) :- !,
 	'$sv_list'(T,L).
 '$sv_list'([_|V].T,L) :- nonvar(V), !,
 	'$sv_list'(T,L).