remove unneeded call

This commit is contained in:
Vítor Santos Costa 2014-10-11 14:10:35 +01:00
parent b40a5a7837
commit 0c461c538b

View File

@ -372,7 +372,7 @@ nb_current(GlobalVariable, Val) :-
'$nb_current'(GlobalVariable), '$nb_current'(GlobalVariable),
'$nb_getval'(GlobalVariable, Val, _). '$nb_getval'(GlobalVariable, Val, _).
'$getval_exception'(GlobalVariable, Val, Caller) :- '$getval_exception'(GlobalVariable, _Val, Caller) :-
user:exception(undefined_global_variable, GlobalVariable, Action), user:exception(undefined_global_variable, GlobalVariable, Action),
!, !,
( (
@ -382,7 +382,7 @@ nb_current(GlobalVariable, Val) :-
; ;
Action == retry Action == retry
-> ->
b_getval(GlobalVariable, Val) true
; ;
Action == error Action == error
-> ->