fix bad call.
This commit is contained in:
parent
903358724d
commit
9047ad2e6e
@ -1163,7 +1163,7 @@ throw(Ball) :-
|
||||
throw(Ball)
|
||||
).
|
||||
|
||||
'catch_ball'('$abort', _, _) :- !, fail.
|
||||
'catch_ball'('$abort', _) :- !, fail.
|
||||
% system defined throws should be ignored by used, unless the
|
||||
% user is hacking away.
|
||||
'catch_ball'(Ball, V) :-
|
||||
|
Reference in New Issue
Block a user