fix warning
This commit is contained in:
parent
e611e1061a
commit
b93e5fd300
@ -62,7 +62,7 @@ run_goal(Goal, Result0) :-
|
|||||||
)
|
)
|
||||||
).
|
).
|
||||||
|
|
||||||
run_goal(Goal, Result0) :-
|
run_goal(_, _) :-
|
||||||
yap_hacks:disable_interrupts,
|
yap_hacks:disable_interrupts,
|
||||||
% make sure we're not getting an extraneous interrupt if we terminate early....
|
% make sure we're not getting an extraneous interrupt if we terminate early....
|
||||||
alarm(0,_,_),
|
alarm(0,_,_),
|
||||||
|
Reference in New Issue
Block a user