fix unbound throw (obs from Paualo Moura).

This commit is contained in:
Vitor Santos Costa 2013-01-17 14:00:12 +00:00
parent e7da973009
commit f98a2d5e01

View File

@ -1194,8 +1194,12 @@ throw(_Ball) :-
!, !,
'$jump_env_and_store_ball'(Ball). '$jump_env_and_store_ball'(Ball).
throw(Ball) :- throw(Ball) :-
( var(Ball) ->
'$do_error'(instantiation_error,throw(Ball))
;
% get current jump point % get current jump point
'$jump_env_and_store_ball'(Ball). '$jump_env_and_store_ball'(Ball)
).
% just create a choice-point % just create a choice-point