protect unbound ball
This commit is contained in:
parent
361c54bed8
commit
a8039df035
@ -1203,7 +1203,7 @@ throw(Ball) :-
|
|||||||
throw(Ball)
|
throw(Ball)
|
||||||
).
|
).
|
||||||
|
|
||||||
'catch_ball'('$abort', _) :- !, fail.
|
'catch_ball'(Abort, _) :- Abort == '$abort', !, fail.
|
||||||
% system defined throws should be ignored by used, unless the
|
% system defined throws should be ignored by used, unless the
|
||||||
% user is hacking away.
|
% user is hacking away.
|
||||||
'catch_ball'(Ball, V) :-
|
'catch_ball'(Ball, V) :-
|
||||||
|
Reference in New Issue
Block a user