From bb3c837ec5de375908b0df9287391a91fa60ee74 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 9 Mar 2010 22:00:46 +0000
Subject: [PATCH] fix unnecessary choicepoint in [a].

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

diff --git a/pl/consult.yap b/pl/consult.yap
index 6a825be09..acda552b7 100644
--- a/pl/consult.yap
+++ b/pl/consult.yap
@@ -43,7 +43,7 @@ load_files(Files,Opts) :-
 '$check_files'(Files,Call) :-
 	var(Files), !,
 	'$do_error'(instantiation_error,Call).
-'$check_files'(M:Files,Call) :-
+'$check_files'(M:Files,Call) :- !,
 	(var(M)
 	->
 	'$do_error'(instantiation_error,Call)